List Question
10 TechQA 2016-12-31 00:23:26Check for evars in a tactic that returns a value
344 views
Asked by Rand00
Proof of the application of a Substitution on a term
162 views
Asked by DerMann
Coq contradiction in hypotheses
1.1k views
Asked by Alexander Boll
Simplifying Subformulas in Coq
486 views
Asked by Rand00
is there any tactic in Coq that can transform a bool expression to a Prop one?
542 views
Asked by Dan Johnson
Coq error: Unable to unify "true" with "is_true (0 < a - b - 3)"
351 views
Asked by Dan Johnson
Can I use destruct here given the constraint I have for index range of a list?
80 views
Asked by Dan Johnson
Take a conjunction of two hypotheses and create a new hypothesis in Coq
689 views
Asked by Dan Johnson