G4i Prover

2021-01-28, updated 2024-03-01 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 28.2 (Org mode 9.5.5) 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