Top Questions

1. How to write a 'safe' head in coq?
   2 votes

   2 answers
2. Fewest digits to get floating point that doesn't round trip through string?
   2 votes

   1 answers