- Stack Overflow 18.7k 18.7k 22 gold badges2121 silver badges3232 bronze badges
- Portuguese Language 1.3k 1.3k 77 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
- 66 What are the strengths and weaknesses of the Isabelle proof assistant compared to Coq?
- 21 Historically, how did people define multiplication for negative numbers?
- 19 Why are logical connectives and booleans separate in Coq?
- 18 What does "Error: Universe inconsistency" mean in Coq?
- 15 Coq QArith division by zero is zero, why?
- 13 Quando, como e porque a língua portuguesa foi dividida?
- 13 What exactly is a Set in COQ
- View more network posts →