Skip to main content

All Questions

Tagged with
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.
Valdigleis's user avatar