Giters

BassamJaber / sequent-prover

Implementation of a sequent calculas Prover in Java

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

sequent-prover

About

Implementation of a sequent calculas Prover in Java

License:MIT License

Languages

Language:Java 100.0%