search

melvic-ybanez / lohika

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

Unification #30

Closed melvic-ybanez closed 1 month ago

melvic-ybanez commented 1 month ago

Right now, the FOL support does not fully work because unification is not implemented yet.