coq

305 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Why does constructor take such a long time here?
user_47710
•
4
1
135
coq
How to set the module name when extracting Coq to Haskell
user_409160
•
7
1
91
coq-extraction coq haskell
Simplifying Subformulas in Coq
user_83033270
•
5
1
383
coq-tactic coq
How to initialize empty hint database
user_12734820
•
3
1
117
ltac coq
Returning a record from a definition in Coq
user_60639470
•
3
1
230
coq
Coq to OCaml extraction of algebraic types
user_6757990
•
4
1
154
coq ocaml types
Establish isomorphism between finite natural numbers and sigma
user_84159170
•
3
3
191
coq-tactic coq
Defining different equality types as inductive types in Coq
user_31019670
•
4
1
507
coq-tactic coq equality
Proving isomorphism between Martin-Lof's equality and Path Induction in Coq
user_31019670
•
4
1
144
ssreflect coq equality
Software Foundations - automatic grading
Admin1
•
6
2
481
coq gnu-make makefile
Hot Questions