Question

CoqIDE loadpath error for ssreflect

score 1.6k · Answer 1 · 2015-06-11 08:47:33

1.6k

Views

CoqIDE loadpath error for ssreflect

Published on 11 June 2015 at 08:47

score 718 · Answer 2 · 2015-06-13 03:34:44

718

Views

How to assign a natural number to variable in Coq?

Published on 13 June 2015 at 03:34

score 1.7k · Answer 3 · 2015-06-19 21:38:09

1.7k

Views

Handling let in hypothesis

Published on 19 June 2015 at 21:38

score 226 · Answer 4 · 2015-06-23 11:44:30

226

Views

Sum of exponents with same base

Published on 23 June 2015 at 11:44

score 340 · Answer 5 · 2015-06-18 01:35:21

340

Views

How to run Athena | Coq | Isabelle codes remotely?

Published on 18 June 2015 at 01:35

score 272 · Answer 6 · 2015-06-18 08:10:55

272

Views

Is equality decidable on any coinductive type?

Published on 18 June 2015 at 08:10

score 837 · Answer 7 · 2015-06-25 04:37:14

837

Views

Coq "convoy pattern"

Published on 25 June 2015 at 04:37

score 746 · Answer 8 · 2015-06-25 11:54:22

746

Views

In coq, how to do "induction n eqn: Hn" in a way that doesn't mess up the inductive hypothesis?

Published on 25 June 2015 at 11:54

score 985 · Answer 9 · 2015-06-26 23:07:09

985

Views

Pattern matching multiple constructors in a single clause in Coq

Published on 26 June 2015 at 23:07

score 51 · Answer 10 · 2016-12-16 20:53:48

51

Views

How to use Coq GenericMinMax to prove facts about the reals

Published on 16 December 2016 at 20:53

score 644 · Answer 11 · 2016-12-16 20:03:52

644

Views

what does the colon greater than sign mean in coq

Published on 16 December 2016 at 20:03

score 720 · Answer 12 · 2016-12-23 19:01:35

720

Views

Subtyping in Coq

Published on 23 December 2016 at 19:01

score 181 · Answer 13 · 2016-12-21 20:57:57

181

Views

How to write coq definitions with "subtypes"

Published on 21 December 2016 at 20:57

score 260 · Answer 14 · 2016-12-26 03:41:25

260

Views

Stronger completeness axiom for real numbers in Coq

Published on 26 December 2016 at 03:41

score 89 · Answer 15 · 2016-12-31 21:51:33

89

Views

When is the first input to `list_rec` not a constant function?

Published on 31 December 2016 at 21:51

score 105 · Answer 16 · 2017-01-01 01:07:30

105

Views

Why do Coq recursion principles pass along both the substructure and the result of the recursive call?

Published on 01 January 2017 at 01:07

score 817 · Answer 17 · 2016-12-31 00:23:26

817

Views

How do you selectively simplify arguments to each time a function is called, without evaluating the function itself?

Published on 31 December 2016 at 00:23

score 837 · Answer 18 · 2017-01-04 10:12:50

837

Views

How can I read Coq's definition of proj1_sig?

Published on 04 January 2017 at 10:12

score 1.5k · Answer 19 · 2017-01-09 07:05:41

1.5k

Views

How to destruct a exist in goal for coq

Published on 09 January 2017 at 07:05

score 489 · Answer 20 · 2017-01-07 14:56:47

489

Views

Proper way to use FMap in Coq 8.6?

Published on 07 January 2017 at 14:56

List Question

CoqIDE loadpath error for ssreflect

How to assign a natural number to variable in Coq?

Handling let in hypothesis

Sum of exponents with same base

How to run Athena | Coq | Isabelle codes remotely?

Is equality decidable on any coinductive type?

Coq "convoy pattern"

In coq, how to do "induction n eqn: Hn" in a way that doesn't mess up the inductive hypothesis?

Pattern matching multiple constructors in a single clause in Coq

How to use Coq GenericMinMax to prove facts about the reals

what does the colon greater than sign mean in coq

Subtyping in Coq

How to write coq definitions with "subtypes"

Stronger completeness axiom for real numbers in Coq

When is the first input to `list_rec` not a constant function?

Why do Coq recursion principles pass along both the substructure and the result of the recursive call?

How do you selectively simplify arguments to each time a function is called, without evaluating the function itself?

How can I read Coq's definition of proj1_sig?

How to destruct a exist in goal for coq

Proper way to use FMap in Coq 8.6?

Trending Questions

Popular # Hahtags

Popular Questions