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

John Salvatier

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

0
answers
3
questions
~11k
people reached
  • Member for 10 years, 2 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
47 What is the most intuitive dependent type theory I could learn? Apr 17 '11
46 How do 'tactics' work in proof assistants? Mar 27 '11
25 Do dependent types give you everything subtyping does? May 10 '11

Badges (23)

Gold

—

Silver

12

Rarest

Bronze

11

Rarest

View all badges →

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.