Archive

Posts Tagged ‘Hol’

Milawa on Jitawa: a Verified Theorem Prover

February 29th, 2012 02:34 View Comments