search

LeePatPat / NatDud

System L-style Natural Deduction Learning Tool - validates and gives feedback on proofs
MIT License
1 stars 0 forks source link

Support for Falsum #2

Closed LeePatPat closed 6 years ago

LeePatPat commented 6 years ago

Add support for the falsem/contradiction for user input and proof validation

LeePatPat commented 6 years ago

Done. As of 12jan2018, this update is on the validator branch