仓库议题
ldct/leancert
Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked
议题
此仓库没有开放的已索引议题。
仓库议题
Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked
此仓库没有开放的已索引议题。