Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problemhttps://github.com/stormj-UH/spivak-lean
Article URL: https://github.com/stormj-UH/spivak-lean Comments URL: https://news.ycombinator.com/item?id=49858409 Points: 2 # Comments: 0