G3cp-G3ip Prover

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

 

Author: Joseph Vidal-Rosset

Date: 2020-06-07 dim. 19:24

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!;)