SpivakCalculus0.1.0
Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and 4th editions
1-1 of 1 versions of SpivakCalculus
Sort by
Date
- 0.1
0.1.0v4.34.0-rc2162.9 MB