gallais
Apparently, this user prefers to keep an air of mystery about them.
-
Glasgow, Scotland, UK
-
Member for 9 years, 10 months
-
0 profile views
-
Last seen Jul 29 '14 at 23:12
Communities (22)
- Stack Overflow 10.9k 10.9k 22 gold badges2525 silver badges5959 bronze badges
- Code Review 741 741 44 silver badges1111 bronze badges
- Theoretical Computer Science 626 626 44 silver badges1414 bronze badges
- Computer Science 563 563 33 silver badges1212 bronze badges
- MathOverflow 425 425 22 silver badges66 bronze badges
- View network profile
Top network posts
- 23 How do I verify the Coq proof of Feit-Thompson?
- 19 How to switch the current goal in Coq?
- 17 Open Type Level Proofs in Haskell/Idris
- 16 Coq execution difference between semicolon ";" and period "."
- 14 Why does Coq have Prop?
- 13 Is it possible to use church encodings without breaking equational reasoning?
- 13 How can I rewrite "+ 1" (plus one) to "S" (succ) in Coq?
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.