joshuacrotts / masters-thesis

This is a repository for my Master's thesis LaTeX source.

automated-theorem-provers cs-education first-order-logic gold-standard logic natural-deduction propositional-logic

Construction and Evaluation of a Gold Standard Syntax for Formal Logic Formulas and Systems

This is a repository for my thesis source (LaTeX).

About

This is a repository for my Master's thesis LaTeX source.

automated-theorem-provers cs-education first-order-logic gold-standard logic natural-deduction propositional-logic

Languages

Language:TeX 99.9%Language:Makefile 0.1%