TechQA.

Question

How to get the name of a named goal in the coq api

score 129 · Answer 1 · 2020-07-29 12:23:57

1

Answer

129

Views

How to get the name of a named goal in the coq api

129 views Asked by KöniglichePM At 29 July 2020 at 12:23

score 251 · Answer 2 · 2018-11-30 02:06:40

What are standard practices for developing Coq code in Atom Editor?

251 views Asked by Charlie Parker At 30 November 2018 at 02:06

score 544 · Answer 3 · 2018-12-26 00:51:45

OCaml and preprocessor have incompatible versions error when installing tcoq

544 views Asked by Charlie Parker At 26 December 2018 at 00:51

score 270 · Answer 4 · 2019-03-11 22:46:18

Paramcoq: Free theorems in Coq

270 views Asked by Bob At 11 March 2019 at 22:46

score 120 · Answer 5 · 2016-06-25 04:32:19

rewrite works for integer but not for rationals for Coq aac_tactics

120 views Asked by thor At 25 June 2016 at 04:32

score 125 · Answer 6 · 2016-06-24 17:26:31

where is Coq aac_tactics installed?

125 views Asked by thor At 24 June 2016 at 17:26

score 116 · Answer 7 · 2018-08-24 10:38:25

How to do higher-order term rewriting in Coq?

116 views Asked by TomR At 24 August 2018 at 10:38

score 184 · Answer 8 · 2018-09-04 18:51:24

Coq: Port a Ltac tactic using CPS style to an ML tactic (OCaml plugin)

184 views Asked by ErikMD At 04 September 2018 at 18:51

score 367 · Answer 9 · 2010-12-13 19:37:17

Using forall within recursive Function definition

367 views Asked by Maty At 13 December 2010 at 19:37

score 171 · Answer 10 · 2018-10-09 03:08:53

How to customize colors for Command and Tactic in ProofGeneral when using Coq in Emacs?

171 views Asked by luochen1990 At 09 October 2018 at 03:08

TechQA.

List Question

How to get the name of a named goal in the coq api

What are standard practices for developing Coq code in Atom Editor?

OCaml and preprocessor have incompatible versions error when installing tcoq

Paramcoq: Free theorems in Coq

rewrite works for integer but not for rationals for Coq aac_tactics

where is Coq aac_tactics installed?

How to do higher-order term rewriting in Coq?

Coq: Port a Ltac tactic using CPS style to an ML tactic (OCaml plugin)

Using forall within recursive Function definition

How to customize colors for Command and Tactic in ProofGeneral when using Coq in Emacs?

Popular Questions

Popular Tags

Trending Questions