Joseph Vidal-Rosset - Personal Blog
2021-01-24, updated 2021-01-24 next - previous
A g3cp-g3ip prover by Enrico Tassi and Stefano Zacchiroli
to play with G3 sequent calculus during the course of advanced logic /
Made with Emacs 27.1 (Org mode 9.4.4)
org-export-head, a blog exporter.
The css file of this blog is mainly the result of
Zhitao Gong's work.