Occasional thoughts and updates about the world of interactive theorem-proving.
26 October 2012
And we're now using git, btw
That latest release of HOL4 was built from our git repository at github. Working with git has been a real pleasure, and the github issue-tracker has wormed its way into our workflow as well. The sourceforge page is still our public face.