List Question
10 TechQA 2025-01-04 16:36:22How to get the name of a named goal in the coq api
153 views
Asked by KöniglichePM
What are standard practices for developing Coq code in Atom Editor?
279 views
Asked by Charlie Parker
OCaml and preprocessor have incompatible versions error when installing tcoq
571 views
Asked by Charlie Parker
Paramcoq: Free theorems in Coq
293 views
Asked by Bob
rewrite works for integer but not for rationals for Coq aac_tactics
145 views
Asked by thor
where is Coq aac_tactics installed?
149 views
Asked by thor
How to do higher-order term rewriting in Coq?
141 views
Asked by TomR
Coq: Port a Ltac tactic using CPS style to an ML tactic (OCaml plugin)
211 views
Asked by ErikMD
Using forall within recursive Function definition
394 views
Asked by Maty
How to customize colors for Command and Tactic in ProofGeneral when using Coq in Emacs?
195 views
Asked by luochen1990