GitHub - janmasrovira/gen-veltman-semantics-aiml-2020: Generalised Veltman Semantics in Agda

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
presentation		presentation
.gitignore		.gitignore
.latexmkrc		.latexmkrc
aiml20.bst		aiml20.bst
aiml20.cls		aiml20.cls
aiml20macro.sty		aiml20macro.sty
log-review-1.txt		log-review-1.txt
log-review-2.txt		log-review-2.txt
log-review-3.txt		log-review-3.txt
main.tex		main.tex
refs.bib		refs.bib