Computer Science
Arthur Azevedo De Amorim's user avatar
Arthur Azevedo De Amorim's user avatar
Arthur Azevedo De Amorim's user avatar
Arthur Azevedo De Amorim
  • Member for 5 years, 11 months
  • Last seen more than a week ago
Profile Activity
Stats
121
reputation
87
reached
1
answer
0
questions
Communities
View all
About

http://arthuraa.net

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
2
Score
1
Posts
100
Posts %
2
Score
1
Posts
100
Posts %
2
Score
1
Posts
100
Posts %
2
Score
1
Posts
100
Posts %
2
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
2
Are type variables really only used in mathematical conversation about types?
Nov 10, 2019
Top network posts
View all network posts
89
What are the strengths and weaknesses of the Isabelle proof assistant compared to Coq?
27
Why are logical connectives and booleans separate in Coq?
23
How to display matplotlib plots in a Jupyter tab widget?
21
Historically, how did people define multiplication for negative numbers?
21
What does "Error: Universe inconsistency" mean in Coq?

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.