search

melvic-ybanez / lohika

A Proof Generator for Entailments and Tautologies in First-order Logic
MIT License
37 stars 1 forks source link

Propositional Variable Definitions #39

Closed melvic-ybanez closed 3 days ago

melvic-ybanez commented 3 days ago

Closes #36