10 votes

Will ProofAssistants have the required traffic to keep the site going?

It's worth noting that these criteria (like much of Area 51) are fairly out of date. In particular, there seems to be less of an emphasis on the rate of Q&A or the size of a site and more on ...
  • 414
3 votes
Accepted

Would reposts of AI answers from other sites be acceptable?

Cross-Posting isn't really cool. When the OP believed that he/she can get a better answer in a particular site, then proper chance has to be given to the site members and the OP for getting a credible ...
  • 2,658
2 votes

Will ProofAssistants have the required traffic to keep the site going?

I consider frequently visiting this site. Mostly planning to ask questions that collect up when trying to implement these things. There are already few sample questions up I would have asked. But you'...
  • 201

Only top scored, non community-wiki answers of a minimum length are eligible