:) Well, I may have overstated it a bit with "no one." You and I would like it. But Coq, as cool as it is, is definitely not as accessible as say, python. I d

:) Well, I may have overstated it a bit with "no one." You and I would like it. But Coq, as cool as it is, is definitely not as accessible as say, python. I doubt there would be sufficient interest in a website with problems like "Prove the sqrt(2) is irrational with coq."