#Paper
Mathematics Resources
2nd Workshop on Personal Knowledge Management
Mass renaming papers with BibTex+JabRef export filters
Found nice introductory paper on cryptography & complexity
Walk-through to Morel-Voevodsky A¹-homotopy theory part II (page 48, Lemma 1.1)
