GitHub repository: nickubels/TableauOverview
Primary language: TeX
Description: Overview of logic tableau rules for Advanced Logic