GitHub - ramizouari/AutomaticProver: Automatic Proving System using Predicate Logic · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
examples		examples
exception		exception
factory		factory
predicate		predicate
prover		prover
symbol		symbol
system		system
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
main.cpp		main.cpp

About

Automatic Proving System using Predicate Logic

Report repository

Releases

No releases published

Packages

Contributors

Languages