PV6 ⊧ Leaninteractive theorem prover

Links

• Project page: https://leanprover.github.io/
• Repository: https://github.com/leanprover/lean4
  • Last commit date: 02 Dec 2022 (default branch)
  • Last commit date: 03 Dec 2022 (last activity)
• Documentation: https://leanprover.github.io/lean4/doc/
• Theorem proving in Lean 4 tutorial: https://leanprover.github.io/theorem_proving_in_lean4/

Related papers

Last publication date

ProVerB specific

• Markdown description: view/edit
• Contained in the ProVerB22 dataset (paper + artefact)