alt
Hacker News
nialv7
•
today at 10:05 AM
•
0 replies
•
view on HN
right now about 42% has Lean formalization I think.
alt Hacker News