Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
Yves
Yves has asked
0
questions and find answers to
7
problems.
Stats
177
EtPoint
57
Vote count
0
questions
7
answers
About
Yves questions
Yves answers
strange implicit type for eq_refl
Generalized fold for inductive datatypes in coq
What is difference between `destruct` and `case_eq` tactics in Coq?
Short(er) proof of `forall n k, (forall q, n <> q * 3) -> n + n <> k * 3`
Best practices for an effective use of Coq's hint database
Mutualy recursive function and termination checker in Coq