Archive

Posts Tagged ‘thesis defense’

Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic

May 29th, 2010 05:49 View Comments