Start prove of completeness of Propositional Logic
Add default.nix
Refactor and write sketch of get-CNF and get-DNF
You can also use your local clone with git send-email.
Following "Mathematical Logic" of Ian Chiswell and Wilfrid Hodges.