Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem6jjsLavaGoat about 6 hours ago 0 commentsRead Article on github.com HI version is available. Content is displayed in original English for accuracy.
Discussion (0 Comments)Read Original on HackerNews
No comments available or they could not be loaded.