HOL theorem-proving system Discussion

Brought to you by: michaeln, slind

hol-checkins

the hol-checkins mailing list

Topic	Posts	Views	Last Post
K-8-install By Micah Kimbrough on Thu Jul 11, 2013 08:31 AM	1	350	By Micah Kimbrough on Thu Jul 11, 2013 08:31 AM
How can I read the proof article file? By amy on Wed Mar 17, 2010 08:33 AM	1	163	By amy on Wed Mar 17, 2010 08:33 AM