tupelo-shen / hol Goto Github PK
View Code? Open in Web Editor NEWThis project forked from sel4/hol
This is a fork of the HOL4 sources, used by the seL4 test infrastructure. See the original above, or visit the main website:
Home Page: https://hol-theorem-prover.org
License: Other