Is it appropriate to ask questions about executing mathematical proofs in proof assistance tools, such as Coq, on this site?

  • 1
    $\begingroup$ I don't see a problem with this (though I have no idea how many users who know Coq). $\endgroup$
    – mrf
    Dec 2, 2013 at 15:20

1 Answer 1


Yes. And please tag the question with the tag.

  • $\begingroup$ Thanks! I will make sure to do as you say. $\endgroup$
    – user111731
    Dec 2, 2013 at 23:15

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .