Stats
131
reputation
114
reached
1
answer
0
questions
About
Interested in:
- Type theory & mechanized logic
- Computational/constructive algebra, topology & category theory
- Concurrency theory & multiagent/distributed systems
- Cybernetics, knowledge representation & social choice theory
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
-
TeacherFeb 10, 2022
-
AutobiographerFeb 10, 2022
Top tags
6
Score
1
Posts
100
Posts %
Top posts