Portuguese Language Meta
Arthur Azevedo De Amorim
  • Member for 6 years, 5 months
  • Last seen more than 6 years ago
Profile Activity
Stats
1,279
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
79
What are the strengths and weaknesses of the Isabelle proof assistant compared to Coq?
26
Why are logical connectives and booleans separate in Coq?
21
Historically, how did people define multiplication for negative numbers?
20
What does "Error: Universe inconsistency" mean in Coq?
17
What exactly is a Set 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.