alt
Hacker News
schleck8
•
yesterday at 11:47 PM
•
0 replies
•
view on HN
Most are formalized in Lean, about 80% of what I checked
alt Hacker News