'coq' Questions - SpiceQA

Questions Tags Users Badges

coq

305 Questions

Newest Active Unanswered Frequent

coq proof : tactic absurd, how does it works?

user_29335930

• asked Dec 8, 2013

4

1

2282

coq

Difference between Z3 and coq

user_12606820

• asked Jul 17, 2012

47

1

5824

theorem-proving z3 coq

how to name the assumption when remembering an expression?

user_8988490

• asked Jul 16, 2012

6

1

415

coq

How to do cases with an inductive type in Coq

user_3789220

• asked Jul 25, 2011

10

2

4755

coq logic

What are the practical limitations of a non-turing complete language like Coq?

user_168530

• asked Aug 16, 2010

69

4

10332

coq turing-complete programming-languages functional-programming

Prev
27
28
29
30
31 (current)

Hot Questions