GitHub - HazardyKnusperkeks/fol

Name		Name	Last commit message	Last commit date
Latest commit History 121 Commits
libs		libs
.gitignore		.gitignore
.gitmodules		.gitmodules
and.cpp		and.cpp
and.hpp		and.hpp
asserts.hpp		asserts.hpp
equality.cpp		equality.cpp
equality.hpp		equality.hpp
equivalent.cpp		equivalent.cpp
equivalent.hpp		equivalent.hpp
exists.cpp		exists.cpp
exists.hpp		exists.hpp
fol.pro		fol.pro
forall.cpp		forall.cpp
forall.hpp		forall.hpp
forward.hpp		forward.hpp
function.cpp		function.cpp
function.hpp		function.hpp
helper.cpp		helper.cpp
helper.hpp		helper.hpp
implies.cpp		implies.cpp
implies.hpp		implies.hpp
main.cpp		main.cpp
name.cpp		name.cpp
name.hpp		name.hpp
not.cpp		not.cpp
not.hpp		not.hpp
or.cpp		or.cpp
or.hpp		or.hpp
predicate.cpp		predicate.cpp
predicate.hpp		predicate.hpp
pretty_printer.cpp		pretty_printer.cpp
pretty_printer.hpp		pretty_printer.hpp
traits.cpp		traits.cpp
traits.hpp		traits.hpp
variable.cpp		variable.cpp
variable.hpp		variable.hpp