covid20212022
ads
ads
Saturday, September 26, 2026
Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem https://ift.tt/alxscPK
Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem https://ift.tt/kx31T7Q September 27, 2026 at 12:00AM
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment