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
  • Last seen more than 1 year ago
Stats
1,287
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