Skip to main content
Namdak Tönpa's user avatar
Namdak Tönpa's user avatar
Namdak Tönpa's user avatar
Namdak Tönpa
  • Member for 2 years, 5 months
  • Last seen more than 2 years ago
Stats
1,297
reputation
0
reached
1
answer
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.
2
silver badges
4
bronze badges
Top tags
4
Score
1
Posts
100
Posts %
4
Score
1
Posts
100
Posts %
Top posts