assistant-paper

Hazel assistant paper drafts

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
old		old
.gitignore		.gitignore
ACM-Reference-Format.bst		ACM-Reference-Format.bst
Makefile		Makefile
README.md		README.md
abstract.tex		abstract.tex
acmart-sigplanproc-template.tex		acmart-sigplanproc-template.tex
acmart.cls		acmart.cls
all.short.bib		all.short.bib
assistant-calculus.tex		assistant-calculus.tex
assistant-paper.pdf		assistant-paper.pdf
assistant-paper.tex		assistant-paper.tex
commands.tex		commands.tex
etal.sty		etal.sty
fig-expand-appendix.tex		fig-expand-appendix.tex
hazel_NSF.bib		hazel_NSF.bib
joshua.sty		joshua.sty
joshuadunfield.sty		joshuadunfield.sty
llproof.sty		llproof.sty
macros.tex		macros.tex
mathpartir.sty		mathpartir.sty
references.bib		references.bib
rulelinks.sty		rulelinks.sty

Provide feedback