倉庫議題
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
此倉庫沒有開放的已索引議題。