Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
larsr
larsr has asked
14
questions and find answers to
20
problems.
Stats
531
EtPoint
145
Vote count
14
questions
20
answers
About
larsr questions
Show that a monic (injective) and epic (surjective) function has an inverse in Coq
Infinite recursive types in Coq (for Bananas and Lenses)
How to make Coq evaluate a specific redex (or - why does it refuse in this case?)
Coq: keeping information in a match statement
Why Coq doesn't allow inversion, destruct, etc. when the goal is a Type?
Coq QArith division by zero is zero, why?
larsr answers
Proof automation in Coq how to factorize a proof
How to simplify A + 0 > 0 into A > 0?
Minimum in non-empty, finite set
Cannot guess decreasing argument of fix for nested match in Coq
Coq induction on modulo
How to import the Library: Coq.Arith.PeanoNat in Coq?
Is there a way to disable a specific notation in Coq?
Making and comparing Sets in Coq
Defining recursive function over product type
Run a NOT headless chrome on a docker container