Proof Assistants Beta
Tiago Campos's user avatar
Tiago Campos's user avatar
Tiago Campos's user avatar
Tiago Campos
  • Member for 1 year, 9 months
  • Last seen more than a week ago
Profile Activity
Stats
125
reputation
261
reached
0
answers
2
questions
Communities
View all
About

I am just an information system bachelor student based on MG / Brasil.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
View all tags
0
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
question
2
What if identity type in extensional type theory were possibly non-deterministic?
Jul 14
question
0
Why inductive types (or variants) are so rigid in terms of the set of constructors
Nov 1

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.