deployed site
Update papers page
deployed site
Fix filenames
deployed site
Fix typo
deployed site
Dammit
deployed site
Minor name change
Add proof term assignments post