List Question
20 TechQA 2023-06-01T19:03:43.427000displaying file position in Proof General
15 views
Asked by Alley Stoughton
Replace element in Coq list
218 views
Asked by epelaez
Proving Binary Tree Properties
356 views
Asked by Felipe Balbi
How can I get C-c C-n to format the current line in proof-general coq-mode-map
211 views
Asked by azani
SF Volume 1: Logic: How to prove tr_rev <-> rev?
207 views
Asked by Felipe Balbi
Software Foundations Volume 1: Tactics: injection_ex3
513 views
Asked by Felipe Balbi
"Symbol's value as variable is void" when adding a path to coqtop when opening emacs
942 views
Asked by user15598472
what is [...] in proof general and why can't I delete it
142 views
Asked by push33n
Unicode symbols fail for Proof-general while writing Coq
1k views
Asked by user1868607
How to change Coq Version in Proof General?
792 views
Asked by Notemaster
Unable to set up Certified Programming with Dependent Types
162 views
Asked by user1868607
Avoid printing notation in Coq with Proof General
497 views
Asked by user1868607
SSreflect not working with Emacs, Coq and ProofGeneral. How to install SSreflect in MacOS?
186 views
Asked by Vedant Chavda
Why is Proof General so slow in Windows 10?
233 views
Asked by user1868607
Browse definition in Coq-IDE
99 views
Asked by user1868607
proof Lemma which based on Fixpoint definitions
160 views
Asked by Boooooo
Proof Process busy on combine_split
1.3k views
Asked by Jose Javier Gonzalez Ortiz
How to customize colors for Command and Tactic in ProofGeneral when using Coq in Emacs?
220 views
Asked by luochen1990
Emacs running Org mode and Coq mode at same buffer
242 views
Asked by Rafael Castro
Defining my own OrderedType in Coq
209 views
Asked by setholopolus