search

melvic-ybanez / lohika

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

Parse True and False literals #2

Closed melvic-ybanez closed 3 months ago

melvic-ybanez commented 3 months ago

Closed by 542dc82