:) 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…
I like the idea (in fact, I used to be pretty serious about solving problems on project Euler and other such sites) but I think it is misnamed. Erdos was all about proofs not computations. If you made the questions…
:) 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…
I like the idea (in fact, I used to be pretty serious about solving problems on project Euler and other such sites) but I think it is misnamed. Erdos was all about proofs not computations. If you made the questions…