https://github.com/theoremprover-museum/HOL90
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