seminar
Resources related to the Kwarc seminar, i.e., slides and project papers. Public, i.e., no grading information.
Michael Kohlhase
authored
Archive my logrel talk: add sources for reproducibility, link to YouTube video See merge request !1