3 Commits (adbb5f5d4aec42d458d38bff517ad6dbccce8cf1)

Author SHA1 Message Date
Joshua Moerman adbb5f5d4a Htp: basics of eq. rel. 11 years ago
Joshua Moerman 9567805b5d Thesis: added some todos 11 years ago
Joshua Moerman 155d05c384 Thesis: Added a chapter about homotopy 11 years ago