TechQA.

Question

displaying file position in Proof General

score 15 · Answer 1 · 2023-06-01T19:03:43.427000

0

Answer

15

Views

displaying file position in Proof General

15 views Asked by Alley Stoughton At 01 June 2023 at 19:03

score 218 · Answer 2 · 2023-05-20T19:20:27.173000

Replace element in Coq list

218 views Asked by epelaez At 20 May 2023 at 19:20

score 356 · Answer 3 · 2022-03-03T20:13:39.557000

Proving Binary Tree Properties

356 views Asked by Felipe Balbi At 03 March 2022 at 20:13

score 211 · Answer 4 · 2021-10-02T18:23:56.193000

How can I get C-c C-n to format the current line in proof-general coq-mode-map

211 views Asked by azani At 02 October 2021 at 18:23

score 207 · Answer 5 · 2021-09-28T11:32:12.893000

SF Volume 1: Logic: How to prove tr_rev <-> rev?

207 views Asked by Felipe Balbi At 28 September 2021 at 11:32

score 513 · Answer 6 · 2021-09-20T05:56:20.887000

Software Foundations Volume 1: Tactics: injection_ex3

513 views Asked by Felipe Balbi At 20 September 2021 at 05:56

score 942 · Answer 7 · 2021-04-10T12:31:57.703000

"Symbol's value as variable is void" when adding a path to coqtop when opening emacs

942 views Asked by user15598472 At 10 April 2021 at 12:31

score 142 · Answer 8 · 2020-05-11T20:56:38.400000

what is [...] in proof general and why can't I delete it

142 views Asked by push33n At 11 May 2020 at 20:56

score 1050 · Answer 9 · 2020-04-23T14:34:13.487000

Unicode symbols fail for Proof-general while writing Coq

1k views Asked by user1868607 At 23 April 2020 at 14:34

score 792 · Answer 10 · 2020-04-22T07:06:43.360000

How to change Coq Version in Proof General?

792 views Asked by Notemaster At 22 April 2020 at 07:06

score 162 · Answer 11 · 2020-04-19T09:55:07.563000

Unable to set up Certified Programming with Dependent Types

162 views Asked by user1868607 At 19 April 2020 at 09:55

score 497 · Answer 12 · 2020-03-21T13:43:02.297000

Avoid printing notation in Coq with Proof General

497 views Asked by user1868607 At 21 March 2020 at 13:43

score 186 · Answer 13 · 2020-03-11T15:28:28.850000

SSreflect not working with Emacs, Coq and ProofGeneral. How to install SSreflect in MacOS?

186 views Asked by Vedant Chavda At 11 March 2020 at 15:28

score 233 · Answer 14 · 2020-02-17T13:52:55.443000

Why is Proof General so slow in Windows 10?

233 views Asked by user1868607 At 17 February 2020 at 13:52

score 99 · Answer 15 · 2020-01-26T18:52:51.747000

Browse definition in Coq-IDE

99 views Asked by user1868607 At 26 January 2020 at 18:52

score 160 · Answer 16 · 2019-08-18T02:28:50.177000

proof Lemma which based on Fixpoint definitions

160 views Asked by Boooooo At 18 August 2019 at 02:28

score 1342 · Answer 17 · 2019-08-16T15:15:51.303000

Proof Process busy on combine_split

1.3k views Asked by Jose Javier Gonzalez Ortiz At 16 August 2019 at 15:15

score 220 · Answer 18 · 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 242 · Answer 19 · 2018-04-05T18:30:17.277000

Emacs running Org mode and Coq mode at same buffer

242 views Asked by Rafael Castro At 05 April 2018 at 18:30

score 209 · Answer 20 · 2017-11-20T17:56:15.323000

Defining my own OrderedType in Coq

209 views Asked by setholopolus At 20 November 2017 at 17:56

TechQA.

List Question

displaying file position in Proof General

Replace element in Coq list

Proving Binary Tree Properties

How can I get C-c C-n to format the current line in proof-general coq-mode-map

SF Volume 1: Logic: How to prove tr_rev <-> rev?

Software Foundations Volume 1: Tactics: injection_ex3

"Symbol's value as variable is void" when adding a path to coqtop when opening emacs

what is [...] in proof general and why can't I delete it

Unicode symbols fail for Proof-general while writing Coq

How to change Coq Version in Proof General?

Unable to set up Certified Programming with Dependent Types

Avoid printing notation in Coq with Proof General

SSreflect not working with Emacs, Coq and ProofGeneral. How to install SSreflect in MacOS?

Why is Proof General so slow in Windows 10?

Browse definition in Coq-IDE

proof Lemma which based on Fixpoint definitions

Proof Process busy on combine_split

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

Emacs running Org mode and Coq mode at same buffer

Defining my own OrderedType in Coq

Popular Questions

Trending Questions