Geek Repo
followers
following
stars
Github PK Tool:Github PK Tool
Export a HOL formula into TFF(TPTP format)
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.
A formal proof of R(4,5)=25