Skip to main content

Browse the archive

https://github.com/theoremprover-museum/HOL90
18 June 2024, 03:58:03 UTC
Name Target Message Date
HEAD 6700427 first commit of the sources found by Mike Gordon 28 March 2017, 08:43:11 UTC
refs/heads/master 6700427 first commit of the sources found by Mike Gordon 28 March 2017, 08:43:11 UTC
back to top