PV6 Tinkerinteractive theorem prover with various backends

Application domain/field

Type of tool

Meta-tool

Internals

Tinker implements PSGraph, a graphical proof strategy language. It supports the theorem provers Isabelle-HOL, ProofPower and Rodin.

Links

Last commit date

5 April 2017

Related papers

Last publication date

9 April 2016

ProVerB specific

View/edit source (Markdown)



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