List Question
12 TechQA 2020-07-29T12:23:57.130000How to get the name of a named goal in the coq api
191 views
Asked by KöniglichePM
How to setup Coq as theorem prover for First Order Logic
363 views
Asked by TomR
Paramcoq: Free theorems in Coq
324 views
Asked by Bob
OCaml and preprocessor have incompatible versions error when installing tcoq
602 views
Asked by Charlie Parker
What are standard practices for developing Coq code in Atom Editor?
297 views
Asked by Charlie Parker
How to customize colors for Command and Tactic in ProofGeneral when using Coq in Emacs?
220 views
Asked by luochen1990
Coq: Port a Ltac tactic using CPS style to an ML tactic (OCaml plugin)
236 views
Asked by ErikMD
How to do higher-order term rewriting in Coq?
172 views
Asked by TomR
How to use Coq aac tactics to prove equalities in the goal?
92 views
Asked by thor
rewrite works for integer but not for rationals for Coq aac_tactics
173 views
Asked by thor
where is Coq aac_tactics installed?
173 views
Asked by thor
Using forall within recursive Function definition
419 views
Asked by Maty