Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
