alt
Hacker News
Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem
4 points
•
by
jsLavaGoat
•
today at 5:00 PM
•
0 comments
•
view on HN
Comments
jsLavaGoat
•
today at 5:01 PM
[flagged]
alt Hacker News
[flagged]