Archive

Posts Tagged ‘ACL’

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

May 29th, 2010 05:49 View Comments