Skip to content

Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system

Notifications You must be signed in to change notification settings

cpressey/LCF-style-ND

Folders and files

NameName
Last commit message
Last commit date

Latest commit

f716a32 · Oct 31, 2023

History

25 Commits
Oct 31, 2023

Repository files navigation