Results from the 2022 Developer Survey are now available
Theoretical Computer Science
user avatar
user avatar
user avatar
John Salvatier
  • Member for 11 years, 3 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
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
205
What is the difference between fixed effect, random effect and mixed effect models?
55
pandas.read_csv from string or package data
51
zip(list1, list2) in Jinja2?
27
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.