https://github.com/theoremprover-museum/HOL90
History
Tip revision: 670042724baa8faba654864813ce5815118766d2 authored by Michael Kohlhase on 28 March 2017, 08:43:11 UTC
first commit of the sources found by Mike Gordon
Tip revision: 6700427
File Mode Size
hol90
hol90.10
hol90.7
README.md -rw-r--r-- 176 bytes

README.md

back to top