Hi, I started the zulip page for the research page of formal language.
It is the prereseach-level (undergraduate level) of research group,
interested in HoTT, ∞-groupoids, Types and Programming Languages.
Feel free to join!
Hi, I started the zulip page for the research page of formal language.
It is the prereseach-level (undergraduate level) of research group,
interested in HoTT, ∞-groupoids, Types and Programming Languages.
Feel free to join!