Communities (11)
Top network posts
- 18 Is there a reasonable automated proof system for TCS theorems?
- 15 What is the theoretical basis of imperative programming?
- 15 The many ways to write {かっこいい}
- 14 How to define a function inductively on two arguments in Coq?
- 13 Proof assistant for writing mathematics
- 13 What kind of Japanese is this?
- 9 How should I think about proof nets?
- View more network posts →
Top tags (4)
Score
10
Posts
2
Posts %
100
Badges (8)
Gold
—
Silver
4
Rarest
Bronze
4
Rarest
-
Sep 7 '10
-
Mar 24 '17
-
Sep 7 '10