Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Lean 4.0
github.com/leanprover
130 points
quag
3 years ago
91 comments
Loading...
Lean 4.0 | Heykuki News