Skip to main content
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 9 years
  • Last seen more than 9 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
93
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
What exactly is a Set in Coq
22
Historically, how did people define multiplication for negative numbers?