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

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

May 29th, 2010 05:49 Leave a comment Go to comments