4 ms·
I disagree about Coq. I think a well-curated Project Coq would be delightful. Proving can be a lot of fun.
by tel 12y ago
I disagree about Coq. I think a well-curated Project Coq would be delightful. Proving can be a lot of fun.
- ihatehackernews 12y ago:) 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."