Top Answers

1. Run a NOT headless chrome on a docker container
   4 votes
2. Definition of equality among vectors
   2 votes
3. How can I generalise Coq proofs of an iff?
   2 votes
4. IndProp: prove that Prop is not provable
   2 votes
5. Coq power operator "^" unfound
   2 votes