Bootstrapping Mechanical Correctness(artagnon.com)2 points by artagnon 43 days ago | 0 commentsNo comments yet