melvic-ybanez/lohika

A Proof Generator for Entailments, Tautologies, and Semantic Equivalences in First-order Logic

语言：Scala · GitHub 星标：44 · Fork：1

在 GitHub 上查看原仓库