PV6 Coqinteractive theorem prover

Interactive proof assistant

Application domain/field

Type of tool

Proof assistant/interactive theorem prover

Comments

License: LGPL v2.1

Links

Last commit date

22 February 2022

Related tools

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.