SpiceQA
Questions
Tags
Users
Badges
logical-foundations
3 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
How can I prove `add_le_cases` (`forall n m p q, n + m <= p + q -> n <= p \/ m <= q`)
user_15590071
0
•
asked Sep 5, 2021
2
1
304
logical-foundations
coq
IndProp: prove that Prop is not provable
user_789186
0
•
asked Jul 30, 2020
2
5
110
logical-foundations
coq
How to define exp for Church Numerals in coq?
user_13957230
0
•
asked Jul 19, 2020
2
1
617
logical-foundations
coq
1
(current)
Hot Questions