GitHub - stanmaciag/TemporalProver: A deductive-based system using the semantic tableaux method

Name		Name	Last commit message	Last commit date
Latest commit History 66 Commits
.settings		.settings
data		data
doc		doc
functions		functions
gui		gui
include		include
truthtrees		truthtrees
.gitignore		.gitignore
main.cpp		main.cpp
prover.pro		prover.pro

About

A deductive-based system using the semantic tableaux method

Report repository

Releases

No releases published

Packages

No packages published

Languages