Geeks
BassamJaber
/
sequent-prover
Implementation of a sequent calculas Prover in Java
Primary Language
Java
MIT License
MIT
sequent-prover GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
sequent-prover