Theoretical Computer Science
Meta user
Network profile
1,245
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 8 years, 11 months
  • 73 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
44 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 →