Egbert Rijke

icon indicating a website link https://www.fmf.uni-lj.si/en/directory/51874/

icon company University of Ljubljana icon location Ljubljana, Slovenia icon location Postdoc in Mathematics

Results 1 repositories owned by Egbert Rijke

HoTT-Intro

355
Stars
28
Forks
Watchers

An introductory course to Homotopy Type Theory

verified publisher icon EgbertRijke