coq

305 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Decidable equality statement with Set vs. Prop
user_15291570
•
4
1
82
coq
Real numbers in Coq
user_172214030
•
8
2
232
real-number coq
Why does an "only printing" notation modify the parser
user_166953840
•
2
1
52
coq notation
How to do induction on BinNums.Z in Coq/
user_6525280
•
1
2
170
coq
Coq Error: Illegal application (Non-functional construction)
user_172018800
•
1
1
65
coq
Proof in Coq with named parameters in constructors
user_171933930
•
3
1
49
coq
Proving that s-expressions printing is injective
user_49447140
•
4
1
108
coq
How to apply an axiom to simplify a match in Coq?
user_6525280
•
1
1
115
coq
COQ: How to use "<=" for Z and R in the same lemma?
user_135482280
•
4
1
45
coq
Not pretty-printing a field of a record
user_37809310
•
2
1
58
coq
Hot Questions