Theoretical Computer Science
John Salvatier's user avatar
John Salvatier's user avatar
John Salvatier's user avatar
John Salvatier
  • Member for 12 years, 8 months
  • Last seen more than 8 years ago
Profile Activity
Stats
1,315
reputation
12k
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
All Questions Answers
Score Newest
question
48
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
227
What is the difference between fixed effect, random effect in mixed effect models?
67
pandas.read_csv from string or package data
57
zip(list1, list2) in Jinja2?
29
Best measure theoretic probability theory book?
26
What invariant do RRB-trees maintain?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.