Arthur Azevedo De Amorim
-
Brookline, MA, USA
-
Member for 5 years, 4 months
-
3 profile views
-
Last seen Sep 8 '15 at 4:47
Communities (11)
- Stack Overflow 19.7k 19.7k 22 gold badges2424 silver badges3434 bronze badges
- Portuguese Language 1.3k 1.3k 88 silver badges1414 bronze badges
- History of Science and Mathematics 313 313 11 silver badge66 bronze badges
- Emacs 191 191 55 bronze badges
- Ask Ubuntu 181 181 99 bronze badges
- View network profile
Top network posts
- 67 What are the strengths and weaknesses of the Isabelle proof assistant compared to Coq?
- 21 Historically, how did people define multiplication for negative numbers?
- 20 Why are logical connectives and booleans separate in Coq?
- 18 What does "Error: Universe inconsistency" mean in Coq?
- 15 What exactly is a Set in COQ
- 15 Coq QArith division by zero is zero, why?
- 13 Quando, como e porque a língua portuguesa foi dividida?
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.