How to display proofs using in Gentzen tree style and (or) Fitch-style, using CoqIDE or JsCoq?
PS: I'm rookie used coq.
$\begingroup$
$\endgroup$
3
-
$\begingroup$ I edited the tags and created the [proof-tree] tag, feel free to edit if you feel this is inaccurate $\endgroup$– Couchy ♦Apr 30, 2022 at 21:31
-
1$\begingroup$ There is prooftree $\endgroup$– Couchy ♦May 3, 2022 at 14:04
-
1$\begingroup$ The proofweb is perfect!!! I found picture of proofweb, but has discontinued and no longer has an installation script. $\endgroup$– ValdigleisMay 3, 2022 at 19:40
Add a comment
|