GitHub repository: BassamJaber/sequent-prover
Primary language: Java
Created: 2018-04-24T12:09:20Z
Description: Implementation of a sequent calculas Prover in Java