Events and wiki
0 views
Skip to first unread message
Bas Spitters
Feb 12, 2020, 3:18:00 AM2/12/20
to homotopytypetheory
We have a summer full of HoTT events ahead of us!
I just want to remind people that we have a wiki where we can collect
such (and other) information.
https://ncatlab.org/homotopytypetheory/show/Events
I just want to remind people that we have a wiki where we can collect
such (and other) information.
https://ncatlab.org/homotopytypetheory/show/Events
Reply all
Reply to author
Forward
0 new messages