GitHub repository: melvic-ybanez/lohika
Primary language: Scala
Created: 2024-08-14T15:36:46Z
Description: A Proof Generator for Entailments and Tautologies in First-order Logic