📈
wiki
Ctrl
K
Copy
Computer Science
Formal verification
Lean
Tutorials
Programming in Lean
Papers
The Lean Theorem Prover (system description)
Previous
Coq
Next
TLA+
Last updated
5 years ago