Data Provenance as Automatic Differentiation

Name		Name	Last commit message	Last commit date
Latest commit History 2,351 Commits
agda		agda
fig		fig
main		main
notes		notes
old		old
reviews/popl2026		reviews/popl2026
.gitattributes		.gitattributes
.gitignore		.gitignore
CITATION.cff		CITATION.cff
Makefile		Makefile
README.md		README.md
acmart.cls		acmart.cls
bib.bib		bib.bib
macros.tex		macros.tex
main-submit.tex		main-submit.tex
main.tex		main.tex
notes.tex		notes.tex
submitted.pdf		submitted.pdf

Provide feedback