Milawa: A "self-verifying" theorem prover, sound down to its machine codecs.utexas.edu3 pointsjoeyespo14 years ago