diff options
| -rw-r--r-- | formalisation.pdf | bin | 179913 -> 0 bytes | |||
| -rw-r--r-- | notes/formalisation.tex (renamed from formalisation.tex) | 0 | ||||
| -rw-r--r-- | notes/sparse.bib (renamed from sparse.bib) | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/formalisation.pdf b/formalisation.pdf Binary files differdeleted file mode 100644 index d9daf7b..0000000 --- a/formalisation.pdf +++ /dev/null diff --git a/formalisation.tex b/notes/formalisation.tex index 53786d3..53786d3 100644 --- a/formalisation.tex +++ b/notes/formalisation.tex diff --git a/sparse.bib b/notes/sparse.bib index 7e682a1..7e682a1 100644 --- a/sparse.bib +++ b/notes/sparse.bib |