Repos by EgbertRijke

EgbertRijke / repos

15 repos

«12»
RepoLanguageStarsRank
EgbertRijke/HoTT-Intro on GithubHoTT-IntroAgda3587
EgbertRijke/GraphModel on GithubGraphModelLean8372
EgbertRijke/OEIS-A000001 on GithubOEIS-A000001Agda5450
EgbertRijke/sequential_colimits on Githubsequential_colimitsLean4639
EgbertRijke/CategoryTheory_Course on GithubCategoryTheory_CourseTeX322,504
EgbertRijke/CMU on GithubCMUTeX232,904
EgbertRijke/notes-cubical on Githubnotes-cubicalTeX163,334
EgbertRijke/K-theory on GithubK-theoryTeX161,850
EgbertRijke/formally_etale on Githubformally_etaleTeX160,254
EgbertRijke/e-systems on Githube-systemsTeX0-