Natural Deduction for Propositional logic

2020-06-07, updated 2020-06-07 next - previous

Michel Levy’s Prover or Original Website

See also Michel Levy’s webpage.

 

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