G4i Prover
2021-01-24, updated 2021-01-24 next - previous
A Prolog prover for G4i sequent calculus .
This prover is a fork that I made from Naoyuki Tamura seqprover for classical first-order logic.
Many thanks to François Élie who made this webpage to publish this prover.