Question

Proof General complaining script incomplete if running 2 scripts at the same time

score 167 · Answer 1 · 2017-09-02 18:35:39

167

Views

Proof General complaining script incomplete if running 2 scripts at the same time

Published on 02 September 2017 at 18:35

score 232 · Answer 2 · 2017-09-17 14:21:38

232

Views

How to control emacs to split window when interpret Coq

Published on 17 September 2017 at 14:21

score 763 · Answer 3 · 2016-02-21 20:18:25

763

Views

Isabelle2016 and Proof General

Published on 21 February 2016 at 20:18

score 325 · Answer 4 · 2022-03-03 20:13:39

325

Views

Proving Binary Tree Properties

Published on 03 March 2022 at 20:13

score 467 · Answer 5 · 2020-03-21 13:43:02

467

Views

Avoid printing notation in Coq with Proof General

Published on 21 March 2020 at 13:43

score 484 · Answer 6 · 2021-09-20 05:56:20

484

Views

Software Foundations Volume 1: Tactics: injection_ex3

Published on 20 September 2021 at 05:56

score 175 · Answer 7 · 2021-09-28 11:32:12

175

Views

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

Published on 28 September 2021 at 11:32

score 182 · Answer 8 · 2021-10-02 18:23:56

182

Views

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

Published on 02 October 2021 at 18:23

score 1.5k · Answer 9 · 2017-01-24 19:55:55

1.5k

Views

Agda-like programming in Coq/Proof General?

Published on 24 January 2017 at 19:55

score 1.3k · Answer 10 · 2019-08-16 15:15:51

1.3k

Views

Proof Process busy on combine_split

Published on 16 August 2019 at 15:15

score 3.2k · Answer 11 · 2017-02-12 08:19:50

3.2k

Views

How to resolve coq suffix import error (physical path bound to logical path)

Published on 12 February 2017 at 08:19

score 129 · Answer 12 · 2020-05-11 20:56:38

129

Views

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

Published on 11 May 2020 at 20:56

score 632 · Answer 13 · 2014-01-28 18:44:04

632

Views

With Coq Proof General, Emacs executes on every period. How do I stop it?

Published on 28 January 2014 at 18:44

score 1.2k · Answer 14 · 2012-04-20 18:14:01

1.2k

Views

Unicode glyphs for keywords and operators in Coq/Proof General under Emacs

Published on 20 April 2012 at 18:14

score 928 · Answer 15 · 2021-04-10 12:31:57

928

Views

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

Published on 10 April 2021 at 12:31

score 786 · Answer 16 · 2015-07-18 18:34:31

786

Views

How do you look up where identifiers are defined in Coq efficiently?

Published on 18 July 2015 at 18:34

score 40 · Answer 17 · 2015-07-29 10:04:27

40

Views

Tabbing gives error in proof general/emacs

Published on 29 July 2015 at 10:04

score 229 · Answer 18 · 2018-04-05 18:30:17

229

Views

Emacs running Org mode and Coq mode at same buffer

Published on 05 April 2018 at 18:30

score 63 · Answer 19 · 2015-09-11 21:52:16

63

Views

How to tell Proof General that ".csv" != ".v"

Published on 11 September 2015 at 21:52

score 217 · Answer 20 · 2020-02-17 13:52:55

217

Views

Why is Proof General so slow in Windows 10?

Published on 17 February 2020 at 13:52

List Question

Proof General complaining script incomplete if running 2 scripts at the same time

How to control emacs to split window when interpret Coq

Isabelle2016 and Proof General

Proving Binary Tree Properties

Avoid printing notation in Coq with Proof General

Software Foundations Volume 1: Tactics: injection_ex3

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

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

Agda-like programming in Coq/Proof General?

Proof Process busy on combine_split

How to resolve coq suffix import error (physical path bound to logical path)

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

With Coq Proof General, Emacs executes on every period. How do I stop it?

Unicode glyphs for keywords and operators in Coq/Proof General under Emacs

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

How do you look up where identifiers are defined in Coq efficiently?

Tabbing gives error in proof general/emacs

Emacs running Org mode and Coq mode at same buffer

How to tell Proof General that ".csv" != ".v"

Why is Proof General so slow in Windows 10?

Trending Questions

Popular # Hahtags

Popular Questions