Top Questions

1. How do I create a websockets server in PHP?
   7 votes

   2 answers
2. Is casting the class returned by getClass() of a generic instance type always safe in Java?
   6 votes

   1 answers
3. Is it possible to prove `forall n: nat, le n 0 -> n = 0.` in Coq without using inversion?
   2 votes

   4 answers
4. Removing trivial match clause in Coq
   2 votes

   2 answers