Project Reviews for HOL theorem-proving systemhttp://sourceforge.net/projects/hol/Project Reviews for HOL theorem-proving systemenSun, 29 Nov 2009 22:31:22 -0000