- Stack Overflow 16.7k 16.7k 22 gold badges2121 silver badges3131 bronze badges
- Portuguese Language 1.3k 1.3k 77 silver badges1414 bronze badges
- History of Science and Mathematics 303 303 11 silver badge66 bronze badges
- Ask Ubuntu 181 181 88 bronze badges
- Emacs 181 181 55 bronze badges
- View network profile →
Top network posts
- 59 What are the strengths and weaknesses of the Isabelle proof assistant compared to Coq?
- 20 Historically, how did people define multiplication for negative numbers?
- 19 Why are logical connectives and booleans separate in Coq?
- 17 What does "Error: Universe inconsistency" mean in Coq?
- 15 Coq QArith division by zero is zero, why?
- 13 What exactly is a Set in COQ
- 13 Quando, como e porque a língua portuguesa foi dividida?
- View more network posts →