Tag - #formal-methods
(2026) A Certifying Proof Assistant for Synthetic Mathematics in Lean
2026-02-08
#formal-methods
#math
#programming