GitHub/leanprover-community.mathlib4
1
0
Fork 0
mirror of https://github.com/leanprover-community/mathlib4.git synced 2026-07-04 19:12:55 +00:00
Code Issues Projects Releases Packages Wiki Activity
Lean 4 survival guide for Lean 3 users
Miyahara Kō edited this page 2026-05-01 22:17:02 +09:00

Page revisions

51 Commits

Author SHA1 Message Date
Floris van Doorn
3e4eaa16b8 start 2023-05-25 16:23:01 -06:00