Proof Assistants Beta
Namdak Tönpa's user avatar
Namdak Tönpa's user avatar
Namdak Tönpa's user avatar
Namdak Tönpa
  • Member for 1 year, 7 months
  • Last seen this week
Profile Activity
Stats
1,267
reputation
5k
reached
7
answers
0
questions
Communities
View all
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.

Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
26
bronze badges
Top tags
View all tags
46
Score
2
Posts
29
Posts %
44
Score
2
Posts
29
Posts %
42
Score
2
Posts
29
Posts %
32
Score
2
Posts
29
Posts %
29
Score
1
Posts
14
Posts %
29
Score
1
Posts
14
Posts %
Top posts
All Questions Answers
Score Newest
answer
29
What are the bases for different Proof Assistants?
Feb 8, 2022
answer
28
What was the 1st Proof Assistant?
Feb 8, 2022
answer
21
What are some examples of proof assistants doing something useful?
Feb 8, 2022
answer
18
What is a Proof Assistant?
Feb 8, 2022
answer
17
What are the differences between MLTT and CIC?
Feb 10, 2022
answer
15
Bringing OOP features into proof assistants?
Feb 11, 2022
answer
14
Are there any well-known Internal DSL Proof Assistants?
Feb 9, 2022
Top Meta posts
0
1
4
What should the name of our main chatroom be?
Top network posts
View all network posts
10
n2o Erlang framework email authentication
5
How to run n2o on 80 port?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.