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.
2020-06-07, updated 2020-06-07 next - previous
Michel Levy’s Prover or Original Website
See also Michel Levy’s webpage.
Date: 2020-06-07 dim. 19:24
Made with Emacs 26.3 (Org mode 9.3.7) and Org export head (Many thanks to Ivan Tadeu Ferreira Antunes Filho!;)