LeanCert0.1.0
Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked
1-20 of 23 versions of LeanCert
Sort by
Date
- 0.1
0.1.0v4.30.084.5 MB - 0.1
0.1.0v4.30.0.1v4.30.0 - 0.1
0.1.0v4.30.0v4.30.0 - 0.1
0.1.0v4.29.1v4.29.1 - 0.1
0.1.0v4.30.0-rc2v4.30.0-rc2 - 0.1
0.1.0v4.29.0v4.29.0 - 0.1
0.1.0v4.29.0-rc1v4.29.0-rc1 - 0.1
0.1.0v4.29.0-rc2v4.29.0-rc2 - 0.1
0.1.0v4.28.0-rc1.1v4.28.0-rc1 - 0.1
0.1.0v4.28.0.1v4.28.0 - 0.1
0.1.0v4.28.1v4.28.0 - 0.1
0.1.0v4.28.0v4.28.0 - 0.1
0.1.0v4.28.0-rc1v4.28.0-rc1 - 0.1
0.1.0v4.27.0v4.27.0 - 0.1
0.1.0v4.2.3v4.27.0-rc1 - 0.1
0.1.0v2.4.2v4.27.0-rc1 - 0.1
0.1.0v2.4.1v4.27.0-rc1 - 0.1
0.1.0v2.4.0v4.27.0-rc1 - 0.1
0.1.0v2.3.0v4.27.0-rc1 - 0.1
0.1.0v2.2.0v4.27.0-rc1