Archive

Archive for May, 2010

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

May 29th, 2010 05:49 View Comments