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.

 

Made with Emacs 27.1 (Org mode 9.4.4) and with org-export-head, a blog exporter.

The css file of this blog is mainly the result of Zhitao Gong's work.

orgmode emacs isso debian mxlinux