Repos by EgbertRijke

EgbertRijke / repos

15 repos

«12»
RepoLanguageStarsRank
EgbertRijke/HoTT-Intro on GithubHoTT-IntroAgda3587
EgbertRijke/GraphModel on GithubGraphModelLean8372
EgbertRijke/OEIS-A000001 on GithubOEIS-A000001Agda5449
EgbertRijke/sequential_colimits on Githubsequential_colimitsLean4639
EgbertRijke/CategoryTheory_Course on GithubCategoryTheory_CourseTeX322,504
EgbertRijke/CMU on GithubCMUTeX232,901
EgbertRijke/notes-cubical on Githubnotes-cubicalTeX163,330
EgbertRijke/K-theory on GithubK-theoryTeX161,846
EgbertRijke/formally_etale on Githubformally_etaleTeX160,250
EgbertRijke/e-systems on Githube-systemsTeX0-