As of May 31, 2023, we have updated our Code of Conduct.
Medical Sciences Beta
ionchy's user avatar
ionchy's user avatar
ionchy's user avatar
ionchy
  • Member for 1 year, 1 month
  • Last seen more than 1 year ago
Profile Activity
Stats
161
reputation
73
reached
1
answer
1
question
Communities
View all
About

CS MSc. student at SPL@UBC, PhD student at PLClub@UPenn, studying programming languages

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
3
Score
2
Posts
100
Posts %
3
Score
2
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
3
Dentistry notation symbols
Apr 8, 2022
answer
3
Dentistry notation symbols
Apr 8, 2022
Top network posts
View all network posts
16
Expressivity of mutual/nested inductives vs. regular inductives
14
Formal description of algorithmic subtyping/cumulativity
12
How is first-order logic a strong enough logic for the foundations of mathematics?
10
Stratification of System Fω
10
Are implicit arguments essential to (dependently-typed) proof assistants?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.