Top Questions

1. Unable to install vulkan on ubuntu 20.04
   3 votes

   1 answers
2. Equality on type which is not inductive type
   3 votes

   1 answers
3. trivial theorem about my inductive type on Coq
   2 votes

   2 answers
4. Partial differentiation using Coqelicot on Coq
   2 votes

   1 answers
5. Definition of equality among vectors
   2 votes

   2 answers