Top Questions

1. In a dependently typed programming language is Type-in-Type practical for programming?
   5 votes

   2 answers
2. Coq: induction principles for void, unit and bool from nat and fin
   4 votes

   1 answers