Propositional, FOL, higher order logics.
Create propositions, apply basic and derived arguments in various proof techniques.
For more information, consider looking at the various Jupyter Notebooks for each flavour of logic.
keithallatt/Logic
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|