Top Questions

1. Auto solve implicit arguments by a function in Agda?
   2 votes

   1 answers
2. How to modify loop into recursion if we need to use index as a condition?
   2 votes

   2 answers
3. Coq Qed raise a warning with admitted lemmas
   1 votes

   0 answers