search

UniMath / SymmetryBook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Creative Commons Attribution Share Alike 4.0 International
376 stars 22 forks source link

Is there an online community e.g. slack, Zulip on HoTT? #132

Open garyzhubc opened 2 years ago

garyzhubc commented 2 years ago

Is there an online community e.g. slack, Zulip on HoTT?

DanGrayson commented 2 years ago

There's a google group at https://groups.google.com/g/HomotopyTypeTheory for general questions, and one at https://groups.google.com/g/univalent-mathematics for the UniMath project in particular.

clayrat commented 1 year ago

There is a zulip community at https://hott.zulipchat.com, though it doesn't get much traffic.