Geeks
haael
/
sequents
Implementation of sequent calculus
Primary Language
C++
sequents GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Stargazers
sirlupinwatson
Montreal