# Is it appropriate to ask questions concerning proof assistance software on this site?

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

• I don't see a problem with this (though I have no idea how many users who know Coq).
– mrf
Dec 2 '13 at 15:20