Is there an online community e.g. slack, Zulip on HoTT?
Jan 5, 2022 by
the word "exists" is used before propositional truncation is defined.
Oct 28, 2021 by
rules-for-equality -- Clarifying what paths/identification might be, and how path induction constrains us.
Sep 12, 2021 by
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.