Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Which mathematical definitions should be formalised in Lean? | Heykuki News
Which mathematical definitions should be formalised in Lean?
mathoverflow.net
15 points
emileokada
8 years ago
1 comment
Loading...