Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
eponier
eponier has asked
7
questions and find answers to
7
problems.
Stats
160
EtPoint
31
Vote count
7
questions
7
answers
About
eponier questions
Typeclass resolution and autorewrite
Purpose of maximal vs non-maximal implicit arguments
Value restriction for records
Compute with a recursive function defined by well-defined induction
eponier answers
Stuck on a simple proof about regular expressions
From an Inductive predicate to list A -> list A -> bool
coq: A left-recursive notation must have an explicit level
How does the discriminate tactic work?
How does one inspect what more complicated tactics do in Coq step-by-step?
Proof by case analysis in Coq
Menu
