-
Notifications
You must be signed in to change notification settings - Fork 24
Pull requests: mo271/FormalBook
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump actions/checkout from 6.0.1 to 6.0.2
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#124
opened Feb 1, 2026 by
dependabot
bot
Loading…
Bump leanprover/lean-action from 1.3.0 to 1.4.0
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#123
opened Feb 1, 2026 by
dependabot
bot
Loading…
Chapter 20: Geometric-Arithmetic-Mean inequality via Cauchy's induction
#119
opened Jan 17, 2026 by
thielema
Loading…
ProTip!
Updated in the last three days: updated:>2026-02-09.