]> matita.cs.unibo.it Git - fireball-separation.git/tree
Added strong calculus for separation, plus some ac's notes
-rw-r--r-- 192 .gitignore
-rw-r--r-- 23 README.md
-rw-r--r-- 1769 ac_notes.tex
-rw-r--r-- 4860 bibliography.bib
-rw-r--r-- 2335 macros.tex
-rw-r--r-- 24676 report.tex