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 at 21:31
  • 1
    $\begingroup$ There is prooftree $\endgroup$
    – Couchy
    May 3 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 at 19:40


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.