John Slaney’s Prover for Minimal and Intuitionistic Propositional Logic

2022-12-11, updated 2022-12-11 next - previous

Minlog: “a no-frills theorem prover” that can be used online here.

 

Made with Emacs 29.0.50 (Org mode 9.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