StackOverflow Questions for Tag: proof-general
Joey Eremondi
Reputation: 8443
Agda-like programming in Coq/Proof General?
Score: 10
Views: 1628
Answers: 2
Antal Spector-Zabusky
Reputation: 36622
Unable to provide long (1024+ character) inputs to the OCaml toplevel and coqtop (and Proof General)
Score: 7
Views: 1654
Answers: 2
azani
Reputation: 494
How can I get C-c C-n to format the current line in proof-general coq-mode-map
Score: 3
Views: 220
Answers: 2
Felipe Balbi
Reputation: 157
SF Volume 1: Logic: How to prove tr_rev <-> rev?
Score: 1
Views: 241
Answers: 1
Felipe Balbi
Reputation: 157
Software Foundations Volume 1: Tactics: injection_ex3
Score: 0
Views: 566
Answers: 1
user15598472
Reputation: 23
"Symbol's value as variable is void" when adding a path to coqtop when opening emacs
Score: 2
Views: 1085
Answers: 1
Vedant Chavda
Reputation: 3
SSreflect not working with Emacs, Coq and ProofGeneral. How to install SSreflect in MacOS?
Score: 0
Views: 193
Answers: 1
push33n
Reputation: 477
what is [...] in proof general and why can't I delete it
Score: 2
Views: 178
Answers: 1
davidg
Reputation: 6027
How do I display brackets around assumptions in Isabelle/jEdit?
Score: 5
Views: 882
Answers: 2
user1868607
Reputation: 2610
Unicode symbols fail for Proof-general while writing Coq
Score: 3
Views: 1325
Answers: 1
Notemaster
Reputation: 483
How to change Coq Version in Proof General?
Score: 4
Views: 884
Answers: 1
user1868607
Reputation: 2610
Unable to set up Certified Programming with Dependent Types
Score: 2
Views: 166
Answers: 1
user1868607
Reputation: 2610
Avoid printing notation in Coq with Proof General
Score: 0
Views: 549
Answers: 1
user1868607
Reputation: 2610
Why is Proof General so slow in Windows 10?
Score: 1
Views: 226
Answers: 0
Boooooo
Reputation: 157
proof Lemma which based on Fixpoint definitions
Score: 0
Views: 178
Answers: 1
Jose Javier Gonzalez Ortiz
Reputation: 478
Proof Process busy on combine_split
Score: 5
Views: 1476
Answers: 1