Statistics of Logic Beyond Formulas: A Graphical Proof System

Contact ORBilu