Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Home Page:http://hol.sourceforge.net
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool