This is a repository for my Master's thesis LaTeX source.
logic
first-order-logic
propositional-logic
cs-education
natural-deduction
automated-theorem-provers
gold-standard
-
Updated
Jun 7, 2022 - TeX