John Slaney’s Prover for Minimal and Intuitionistic Propositional Logic

2022-12-11, updated 2024-03-01 next - previous

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

• You should read Slaney’s Technical Report about Minlog.
• The source of the software is also here.