PV6 Leaninteractive theorem prover

Functional programming language & interactive theorem prover

Application domain/field

Type of tool

Proof assistant/interactive theorem prover


License: Apache 2.0


Related papers

The Lean 4 Theorem Prover and Programming Language (CADE '21)

Last publication date

5 July 2021

ProVerB specific

ProVerB is a part of SLEBoK. Last updated: February 2023.