Questions tagged [proof-tree]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4 votes
0 answers
67 views

Display style proofs using Coq

How to display proofs using in Gentzen tree style and (or) Fitch-style, using CoqIDE or JsCoq? PS: I'm rookie used coq.
user avatar