GitHub - haael/sequents: Implementation of sequent calculus

haael / sequents Public

Implementation of sequent calculus

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
.clang-format		.clang-format
.gitignore		.gitignore
build.sh		build.sh
collections.hh		collections.hh
errors.hh		errors.hh
expression.hh		expression.hh
formula.hh		formula.hh
logical.hh		logical.hh
sequent.hh		sequent.hh
sync.hh		sync.hh
test.cpp		test.cpp
unionfind.hh		unionfind.hh
utils.hh		utils.hh