search

melvic-ybanez / lohika

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

Identity Laws #15

Open melvic-ybanez opened 2 months ago

melvic-ybanez commented 2 months ago