List of tools

List of tools

The following table contains tools that are known to the EuroProofNet ATP inventory. Tools provide additional functionality for specific solvers and provers or for artifacts formulated in specific formats. Please click on the tool name for its detailed profile (if available) or contribute it.

Tools

Name	Web site	Format(s) or System(s)	Purpose
carcara	[link]	Alethe	Proof checker
logic-embedding-tool	[link]	TPTP	Encoding of non-classical logics into classical logic
scala-tptp-parser	[link]	TPTP	Parsing library implemented in Scala
SMTCoq	[link]	LFSC, veriT2016 (Alethe under progress)	Certified proof checker
SigmaKEE	[link]	TPTP, SUO-KIF, OWL	theory development environment