alt
Hacker News
egl2020
•
today at 2:21 AM
•
0 replies
•
view on HN
Maybe we need "de Moura complexity": the shortest Lean proof of a theorem.
alt Hacker News