Namdak Tönpa's user avatar
Namdak Tönpa's user avatar
Namdak Tönpa's user avatar
Namdak Tönpa
  • Member for 11 months
  • Last seen more than a month ago
Stats
1,227
reputation
4k
reached
7
answers
0
questions
Loading…
About

My current research interests focus on cubical type checkers and formalization of mathematics. I do love code in cubicaltt and Anders, but know internals of other HoTT provers, like: yacctt, redtt, Lean, Coq, Agda, Arend.

This user doesn’t have any gold badges yet.
5
silver badges
26
bronze badges
46
Score
2
Posts
29
Posts %
43
Score
2
Posts
29
Posts %
41
Score
2
Posts
29
Posts %
31
Score
2
Posts
29
Posts %
27
Score
1
Posts
14
Posts %
27
Score
1
Posts
14
Posts %