Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
A slightly longer Lean 4 proof tour
terrytao.wordpress.com
78 points
iso8859-1
2 years ago
27 comments
Loading...
A slightly longer Lean 4 proof tour | Heykuki News