PV6 ⊧ Coqinteractive theorem prover

Links

• Repository: https://github.com/coq/coq
  • Last commit date: 02 Dec 2022 (default branch)
  • Last commit date: 02 Dec 2022 (last activity)
• Project page: https://coq.inria.fr/

Related tools

• EMTST: https://doi.org/10.1007/978-3-030-45237-7_17 (adds support for proving theorems about session types in Coq)
• Coqoon: https://coqoon.github.io/ (https://doi.org/10.1007/978-3-662-49674-9_18 (IDE for Coq))
• Other proof assistant: Lean

ProVerB specific

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