List Question
3 TechQA 2022-03-04T14:11:19.490000How to activate the Coq messages in vscode/vscoq like in the CoqIde/jscoq?
741 views
Asked by Charlie Parker
Why is my local coq no acting the same as standard coq e.g. as JsCoq?
127 views
Asked by Charlie Parker
How to prove Theorem euclid_gcd : forall a b z, euclid a b z -> gcd a b z. using coq?
79 views
Asked by lam_gam