Repos by EgbertRijke

EgbertRijke / repos

15 repos

«12»
RepoLanguageStarsRank
EgbertRijke/HoTT-Intro on GithubHoTT-IntroAgda3546
EgbertRijke/GraphModel on GithubGraphModelLean7334
EgbertRijke/OEIS-A000001 on GithubOEIS-A000001Agda5431
EgbertRijke/sequential_colimits on Githubsequential_colimitsLean4514
EgbertRijke/CategoryTheory_Course on GithubCategoryTheory_CourseTeX321,109
EgbertRijke/CMU on GithubCMUTeX160,307
EgbertRijke/notes-cubical on Githubnotes-cubicalTeX159,336
EgbertRijke/formally_etale on Githubformally_etaleTeX156,231
EgbertRijke/e-systems on Githube-systemsTeX0-
EgbertRijke/HoTT_Lean on GithubHoTT_Leanunknown0-