- Stack Overflow 19.4k 19.4k 22 gold badges2323 silver badges3333 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 →