lean

Jun 28, 2026

• proof-assistant
• theorem-proving
• coq
• agda
• lean
• isabelle
• idris
• formal-methods

Mar 21, 2023

• lean