proof-general-My Code Helper

Agda-like programming in Coq/P...

rocq-prover agda dependent-type proof-general coqide

Replace element in Coq list...

computer-science rocq-prover proof-general

Proving Binary Tree Properties...

binary-tree computer-science rocq-prover proof-general

Unable to provide long (1024+ ...

emacs ocaml tty rocq-prover proof-general

SF Volume 1: Logic: How to pro...

rocq-prover coq-tactic proof-of-correctness proof-general

Software Foundations Volume 1:...

rocq-prover coq-tactic proof-general

"Symbol's value as va...

emacs rocq-prover proof-general

SSreflect not working with Ema...

emacs path rocq-prover ssreflect proof-general

what is [...] in proof general...

rocq-prover proof-general

How do I display brackets arou...

jedit isabelle proof-general

Unicode symbols fail for Proof...

unicode rocq-prover proof-general

How to change Coq Version in P...

emacs rocq-prover opam proof-general

Unable to set up Certified Pro...

emacs rocq-prover proof-general

Avoid printing notation in Coq...

rocq-prover proof-general

How to disable Verilog mode in...

emacs proof-general

proof Lemma which based on Fix...

rocq-prover coq-tactic proof-general

Proof Process busy on combine_...

rocq-prover proof-general

How do you look up where ident...

emacs rocq-prover coqide proof-general

Isabelle2016 and Proof General...

isabelle theorem-proving proof-general

Emacs cursor jumps before peri...

emacs proof-general

How to tell Proof General that...

csv emacs rocq-prover proof-general

Remove arrow in Emacs' Pro...

emacs rocq-prover proof-general

Unicode glyphs for keywords an...

emacs unicode elisp rocq-prover proof-general

With Coq Proof General, Emacs ...

emacs rocq-prover proof-general

How does RegExp.exec Populate ...

regex proof-general