bacam / hol Goto Github PK
View Code? Open in Web Editor NEWThis project forked from hol-theorem-prover/hol
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Home Page: http://hol.sourceforge.net
License: Other