📈
wiki
⌘
Ctrl
k
For the complete documentation index, see
llms.txt
. This page is also available as
Markdown
.
Copy
On this page
Computer Science
Formal verification
Lean
Tutorials
Programming in Lean
Papers
The Lean Theorem Prover (system description)
Previous
Coq
Next
TLA+
Last updated
6 years ago
Tutorials
Papers