- Theoretical Computer Science 2.5k 2.5k 1616 silver badges2626 bronze badges
- Stack Overflow 2k 2k 11 gold badge1818 silver badges2121 bronze badges
- Unix & Linux 335 335 11 gold badge22 silver badges88 bronze badges
- Mathematics 284 284 11 silver badge77 bronze badges
- English Language & Usage 256 256 11 gold badge22 silver badges99 bronze badges
- View network profile →
Top network posts
- 28 What is the difference between propositions and judgments?
- 26 What is the difference between proofs and programs (or between propositions and types)?
- 25 What's the relation and difference between Calculus of Inductive Constructions and Intuitionistic Type Theory?
- 21 What is the difference between arrows and exponential objects in a cartesian closed category?
- 18 Prove proof irrelevance in Coq?
- 17 Use setxkbmap to swap the Left Shift and Left Control
- 13 Is contextual equivalence of a language with `quote`-`eval` trivial or not?
- View more network posts →