Simple Prolog type checker
Home Page:http://ziman.functor.sk/proof.txt
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool