PV6 Leaninteractive theorem prover

Functional programming language & interactive theorem prover

Application domain/field

Type of tool

Proof assistant/interactive theorem prover

Comments

License: Apache 2.0

Links

Last commit date

22 February 2022

Related papers

https://doi.org/10.1007/978-3-030-79876-5_37 (CADE '21)

Last publication date

5 July 2021

ProVerB specific

View/edit source (Markdown)



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