Dependent Types @dependent_types
Mostly an automated feed from the Dependent Types reddit reddit.com/r/dependent_ty… Joined July 2009-
Tweets1K
-
Followers1K
-
Following2
-
Likes9
Trends for United States
73,4 B posts
27,3 B posts
30,6 B posts
39,2 B posts
8.914 posts
2.793 posts
2.317 posts
28,2 B posts
6.095 posts
4.774 posts
4.254 posts
1.055 posts
1.043 posts
3.034 posts
4.353 posts
2.357 posts
1.782 posts
4.009 posts
1.628 posts