Skip to main content
Theoretical Computer Science
John Salvatier's user avatar
John Salvatier's user avatar
John Salvatier's user avatar
John Salvatier
  • Member for 13 years, 5 months
  • Last seen more than 8 years ago
Profile Activity
Stats
1,325
reputation
13k
reached
0
answers
3
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
13
silver badges
11
bronze badges
Top tags
0
Score
3
Posts
100
Posts %
0
Score
3
Posts
100
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
question
49
How do 'tactics' work in proof assistants?
Mar 27, 2011
question
48
What is the most intuitive dependent type theory I could learn?
Apr 17, 2011
question
25
Do dependent types give you everything subtyping does?
May 10, 2011
Top network posts
View all network posts
236
What is the difference between fixed effect, random effect in mixed effect models?
73
pandas.read_csv from string or package data
60
zip(list1, list2) in Jinja2?
31
Best measure theoretic probability theory book?
27
What invariant do RRB-trees maintain?