BassamJaber / sequent-prover

Implementation of a sequent calculas Prover in Java

Geek Repo

Github PK Tool