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