LeanCert0.1.0
Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked
1-20 of 35 versions of LeanCert
Sort by
Date
- 0.1
0.1.0v4.32.2103.5 MB - 0.1
0.1.0v4.32.2.4v4.32.2 - 0.1
0.1.0v4.32.2.3v4.32.2 - 0.1
0.1.0v4.32.2.2v4.32.2 - 0.1
0.1.0v4.32.2.1v4.32.2100.3 MB - 0.1
0.1.0v4.32.2v4.32.2 - 0.1
0.1.0v4.32.1v4.32.0 - 0.1
0.1.0v4.32.0v4.32.093.4 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