LeanCert0.1.0
Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked
1-20 of 28 versions of LeanCert
Sort by
Date
- 0.1
0.1.0v4.31.093.2 MB - 0.1
0.1.0v4.31.0v4.31.093.2 MB - 0.1
0.1.0v4.30.0.5v4.30.089.2 MB - 0.1
0.1.0v4.30.0.4v4.30.0 - 0.1
0.1.0v4.30.0.3v4.30.0 - 0.1
0.1.0v4.30.0.2v4.30.085.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