Tag - #formal-methods

(2026) A Certifying Proof Assistant for Synthetic Mathematics in Lean 2026-02-08