4 Commits (faf0900d77e8fc3997278a165b6dc0de66a96456)

Author SHA1 Message Date
Joshua Moerman f1ad0a2a89 C: wrote down big lines of the proof 12 years ago
Joshua Moerman adbb5f5d4a Htp: basics of eq. rel. 12 years ago
Joshua Moerman 9567805b5d Thesis: added some todos 12 years ago
Joshua Moerman 155d05c384 Thesis: Added a chapter about homotopy 12 years ago