Archive

Posts Tagged ‘theorem prover’

Milawa on Jitawa: a Verified Theorem Prover

February 29th, 2012 02:34 View Comments