Portuguese Language Meta
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 8 years, 3 months
  • Last seen more than 8 years ago
Profile Activity
Stats
1,277
reputation
0
reached
0
answers
0
questions
Communities
View all
About

http://arthuraa.net

Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
90
What are the strengths and weaknesses of the Isabelle proof assistant compared to Coq?
28
Why are logical connectives and booleans separate in Coq?
23
How to display matplotlib plots in a Jupyter tab widget?
22
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.