Hide content and notifications from this user.
Contact Support about this user's behavior.
Forked from HOL-Theorem-Prover/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Forked from fireeye/MSetsExtra
A Coq Library for Efficiently Executable Sets
Seeing something unexpected? Take a look at the
GitHub profile guide.