joshuacrotts / masters-thesis Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

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

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 91 Commits
data		data
img		img
tex		tex
.gitignore		.gitignore
README.md		README.md

Repository files navigation

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.

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

Report repository

Releases

No releases published

Packages

No packages published

Languages