HoTT-WS-25-26. Begleitmaterial zur Vorlesung Homotopietypentheorie an der Universität Augsburg im Wintersemester 25/26

github.com/felixwellen/HoTT-WS-25-26

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.