About Me
// Hello, World !
Top Answers
-
Real numbers in Coq
8 votes
Top Questions
-
Cardinality of the untyped lambda calculus embedded in Haskell
19 votes3 answers
-
Cardinality of Prop, Set and Type_i in Coq
4 votes1 answers
-
Representation of Haskell's powerset type in System F
4 votes1 answers
-
Opposite of const_cast
3 votes1 answers
-
Proof that two isomorphic types are different
3 votes1 answers