Top Questions

1. What is the HTML code for a double forward slash symbol //?
   2 votes

   1 answers
2. Algorithm for finding a linear dependence with strictly positive coefficients
   2 votes

   2 answers
3. Coq: a vicious circle with two identical subgoals
   2 votes

   2 answers
4. Coq seemingly refuses to recognize a simple substitution of a propositional formula for a propositional variable?
   1 votes

   1 answers