List Question
10 TechQA 2015-06-11 08:47:33CoqIDE loadpath error for ssreflect
1.6k views
Asked by David
How to assign a natural number to variable in Coq?
733 views
Asked by bazinga
Handling let in hypothesis
1.7k views
Asked by kjam
Sum of exponents with same base
248 views
Asked by Marcus
How to run Athena | Coq | Isabelle codes remotely?
358 views
Asked by Mehmet Taha Meral
Is equality decidable on any coinductive type?
291 views
Asked by Mitchell Buckley
Coq "convoy pattern"
861 views
Asked by krokodil
In coq, how to do "induction n eqn: Hn" in a way that doesn't mess up the inductive hypothesis?
759 views
Asked by Anthony Towns
Pattern matching multiple constructors in a single clause in Coq
1000 views
Asked by user287393
How to use Coq GenericMinMax to prove facts about the reals
68 views
Asked by davik