alt
Hacker News
__MatrixMan__
•
today at 4:40 AM
•
0 replies
•
view on HN
It's a Lean program that proves the theorem.
alt Hacker News