ANITA (Analytic Tableau Proof Assistant)

Code: Open in Overleaf
      
\documentclass{article}
\usepackage{amsmath}
\usepackage{qtree}
\usepackage{xcolor}
\begin{document}

\end{document}