Stats
101
reputation
0
reached
0
answers
0
questions
About
Interested in Programming Language Theory, Type Theory, Metamathematics, Theoretical Physics, and many other fields.
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
-
SupporterApr 18, 2023
-
AutobiographerApr 9, 2023
Posts
This user hasn’t posted yet.