Theoretical Computer Science
John Salvatier
  • Member for 10 years, 10 months
  • Last seen more than 6 years ago
Profile Activity
Stats
1,315
reputation
11k
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
Votes Newest
48
How do 'tactics' work in proof assistants?
Mar 27 '11
48
What is the most intuitive dependent type theory I could learn?
Apr 17 '11
25
Do dependent types give you everything subtyping does?
May 10 '11
Top network posts
View all network posts
195
What is the difference between fixed effect, random effect and mixed effect models?
48
zip(list1, list2) in Jinja2?
48
pandas.read_csv from string or package data
26
Best measure theoretic probability theory book?
24
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.