How to display proofs using in Gentzen tree style and (or) Fitch-style, using CoqIDE or JsCoq?

PS: I'm rookie used coq.

  • $\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$
    – Valdigleis
    May 3, 2022 at 19:40


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Browse other questions tagged or ask your own question.