NADIA - Natural DeductIon proof Assistant

Code: Open in Overleaf
      
\documentclass{article}
\usepackage{amsmath}
\usepackage{proof}
\usepackage{logicproof}
\begin{document}
\centering
Prova no estilo de Fitch (caixas):

Prova no estilo de Gentzen (árvores):
	
\end{document}        ...