Theoretical Computer Science
Profile Activity
Meta user
Network profile
1,255
reputation
11
11

John Salvatier

Apparently, this user prefers to keep an air of mystery about them.

0
answers
3
questions
~10k
people reached
  • Member for 9 years, 11 months
  • 75 profile views
  • Last seen Sep 25 '15 at 18:57

Communities (18)

Top network posts

Top tags (5)

Score 0
Posts 3
Score 0
Posts 3
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (3)

All Questions Answers
Votes Newest
46 What is the most intuitive dependent type theory I could learn? Apr 17 '11
45 How do 'tactics' work in proof assistants? Mar 27 '11
24 Do dependent types give you everything subtyping does? May 10 '11

Badges (22)

Gold

—

Silver

11

Rarest

Bronze

11

Rarest

View all badges →