1 result found Sort:
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Created
2009-10-29
20,290 commits to develop branch, last one 3 days ago