Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Milawa: A "self-verifying" theorem prover, sound down to its machine code | Heykuki News
Milawa: A "self-verifying" theorem prover, sound down to its machine code
cs.utexas.edu
3 points
joeyespo
14 years ago
No comment yet