JetLib News
Automatically Filtered News
Home
About
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
admin
Leave a comment
Go to comments