TechQA.

Question

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

score 191 · Answer 1 · 2020-07-29T12:23:57.130000

0

Answer

191

Views

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

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

score 363 · Answer 2 · 2019-05-14T21:14:59.973000

How to setup Coq as theorem prover for First Order Logic

363 views Asked by TomR At 14 May 2019 at 21:14

score 324 · Answer 3 · 2019-03-11T22:46:18.363000

Paramcoq: Free theorems in Coq

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

score 602 · Answer 4 · 2018-12-26T00:51:45.667000

OCaml and preprocessor have incompatible versions error when installing tcoq

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

score 297 · Answer 5 · 2018-11-30T02:06:40.633000

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

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

score 220 · Answer 6 · 2018-10-09T03:08:53.463000

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

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

score 236 · Answer 7 · 2018-09-04T18:51:24.963000

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

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

score 172 · Answer 8 · 2018-08-24T10:38:25.457000

How to do higher-order term rewriting in Coq?

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

score 92 · Answer 9 · 2016-06-25T06:06:19.213000

How to use Coq aac tactics to prove equalities in the goal?

92 views Asked by thor At 25 June 2016 at 06:06

score 173 · Answer 10 · 2016-06-25T04:32:19.640000

rewrite works for integer but not for rationals for Coq aac_tactics

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

score 173 · Answer 11 · 2016-06-24T17:26:31.003000

where is Coq aac_tactics installed?

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

score 419 · Answer 12 · 2010-12-13T19:37:17.203000

Using forall within recursive Function definition

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

TechQA.

List Question

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

How to setup Coq as theorem prover for First Order Logic

Paramcoq: Free theorems in Coq

OCaml and preprocessor have incompatible versions error when installing tcoq

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

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

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

How to do higher-order term rewriting in Coq?

How to use Coq aac tactics to prove equalities in the goal?

rewrite works for integer but not for rationals for Coq aac_tactics

where is Coq aac_tactics installed?

Using forall within recursive Function definition

Popular Questions

Trending Questions