Top Answers

1. Is it possible to get collisions with base64 Encoding / Decoding
   29 votes
2. Why does Coq.Init.Logic define the notation "A -> B"?
   13 votes
3. Set theory notation with whitespaces and curly braces in Coq
   6 votes
4. How can I give an alias to a type in coq
   6 votes
5. Proof that two isomorphic types are different
   5 votes