Hacker News new | ask | show | jobs
Milawa on Jitawa, a Verified Theorem Prover (lambda-the-ultimate.org)
1 points by poppingtonic 89 days ago