JetLib News
Automatically Filtered News
Home
About
Archive
Posts Tagged ‘proof search’
Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic
May 29th, 2010 05:49
admin
View Comments