GitHub - hdeyoung/thesis-proposal: Henry DeYoung's PhD thesis proposal

Name		Name	Last commit message	Last commit date
Latest commit History 26 Commits
ch		ch
slides		slides
.gitignore		.gitignore
binary-counter.sty		binary-counter.sty
bubble.sml		bubble.sml
classic-proposal.tex		classic-proposal.tex
hdeyoung-proposal.cls		hdeyoung-proposal.cls
logic.sty		logic.sty
msill.sty		msill.sty
ordered-logic.sty		ordered-logic.sty
osill.tex		osill.tex
predicates.sty		predicates.sty
proof-dashed.sty		proof-dashed.sty
proposal.bib		proposal.bib
proposal.tex		proposal.tex
turing-add-new.txt		turing-add-new.txt
turing-add.txt		turing-add.txt
turing.txt		turing.txt