Bootstrapping Mechanical Correctness

2 points | by artagnon 11 hours ago