G3cp-G3ip Prover

2021-01-28, updated 2021-01-28 next - previous

A g3cp-g3ip prover by Enrico Tassi and Stefano Zacchiroli

to play with G3 sequent calculus during the course of advanced logic / Proof theory.

 

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