林嘉铭 ليمْ جيا ميڠ
Anti-colonialist. Interested in HoTT, languages and formal systems.
- 4 Posts
- 0 Comments
Joined 4 年前
Cake day: 2021年3月11日
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
Anti-colonialist. Interested in HoTT, languages and formal systems.
