Tableaux’method for intuitionistic logic through S4-translation
2021-01-28, updated 2024-03-01 next - previous
Michel Levy’s Prover or Original Website
See also Michel Levy’s webpage.
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.
