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