GitHub - wprzytula/FO-prover: First-Object logic tautology prover. A university project.

wprzytula / FO-prover Public

First-Object logic tautology prover. A university project.

Name		Name	Last commit message	Last commit date
Latest commit History 120 Commits
src		src
tests		tests
.gitignore		.gitignore
Cargo.toml		Cargo.toml
FO-prover.hs		FO-prover.hs
Formula.hs		Formula.hs
Makefile		Makefile
Parser.hs		Parser.hs
run_tests.sh		run_tests.sh

Provide feedback