- Stack Overflow 20.2k 20.2k 22 gold badges2525 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
- Ask Ubuntu 201 201 11 silver badge99 bronze badges
- Emacs 191 191 55 bronze badges
- View network profile
Top network posts
- 69 What are the strengths and weaknesses of the Isabelle proof assistant compared to Coq?
- 22 Why are logical connectives and booleans separate in Coq?
- 21 Historically, how did people define multiplication for negative numbers?
- 18 What does "Error: Universe inconsistency" mean in Coq?
- 16 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 →