林嘉铭 ليمْ جيا ميڠ
Anti-colonialist. Interested in HoTT, languages and formal systems.
- 7 Posts
- 1 Comment
Joined 4 years ago
Cake day: March 11th, 2021
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
we need more context… r u from europe?