G4i Prover

2020-06-21, updated 2020-06-21 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.

 

Author: Joseph Vidal-Rosset

Date: 2020-06-21 dim. 11:09

Blog: https://wwww.vidal-rosset.net

Made with Emacs 26.3 (Org mode 9.3.7) and Org export head (Many thanks to Ivan Tadeu Ferreira Antunes Filho!;)