All Questions
Tagged with beginner proof-tree
1
question
5
votes
0
answers
108
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.