GitHub - mazmap/multidimensional-difference-arrays: Slide deck for the presentation of my formalization work around multidimensional difference arrays for a talk for the Geometry and Topology research group at TUM

Provide feedback

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
res		res
.DS_Store		.DS_Store
.latexmkrc		.latexmkrc
README.md		README.md
delted-text.txt		delted-text.txt
multi-dimensional-difference-arrays-handout.pdf		multi-dimensional-difference-arrays-handout.pdf
multi-dimensional-difference-arrays.aux		multi-dimensional-difference-arrays.aux
multi-dimensional-difference-arrays.fdb_latexmk		multi-dimensional-difference-arrays.fdb_latexmk
multi-dimensional-difference-arrays.fls		multi-dimensional-difference-arrays.fls
multi-dimensional-difference-arrays.log		multi-dimensional-difference-arrays.log
multi-dimensional-difference-arrays.nav		multi-dimensional-difference-arrays.nav
multi-dimensional-difference-arrays.out		multi-dimensional-difference-arrays.out
multi-dimensional-difference-arrays.pdf		multi-dimensional-difference-arrays.pdf
multi-dimensional-difference-arrays.snm		multi-dimensional-difference-arrays.snm
multi-dimensional-difference-arrays.synctex.gz		multi-dimensional-difference-arrays.synctex.gz
multi-dimensional-difference-arrays.tex		multi-dimensional-difference-arrays.tex
multi-dimensional-difference-arrays.toc		multi-dimensional-difference-arrays.toc
multi-dimensional-difference-arrays.vrb		multi-dimensional-difference-arrays.vrb