-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: abderrahim-lectures/lean4-learning
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Rewrite book in derivation-first (Russian-style) prose, v2.0.0
#251
opened Aug 15, 2026 by
abderrahim-lectures
Owner
Loading…
7 tasks done
Split Chapter 1 into two balanced chapters
#245
opened Aug 7, 2026 by
abderrahim-lectures
Owner
Loading…
2 of 3 tasks
Update Lean toolchain and Mathlib to v4.32.2
#239
opened Aug 2, 2026 by
abderrahim-lectures
Owner
Loading…
ProTip!
Filter pull requests by the default branch with base:master.