Effective ATS:
Encoding Propositional Logic

• main.html
• Makefile
• prop-logic.sats
• prop-logic.dats