6
$\begingroup$

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

$\endgroup$
  • 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 '13 at 15:20
11
$\begingroup$

Yes. And please tag the question with the tag.

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

You must log in to answer this question.

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