Stack Exchange
sign up | log in |

Theoretical Computer Science
  • Questions
  • Tags
  • Tour
  • Users
  • Ask Question

John Salvatier

less info
meta site favicon meta user | stack exchange network profile network profile
385 reputation
29
bio website
location
age
visits member for 2 years, 2 months
seen Nov 27 '12 at 4:11
stats profile views 44

385 reputation
 bio website visits member for 2 years, 2 months
29 badges
 location seen Nov 27 '12 at 4:11
summary answers questions tags badges favorites bounties reputation activity

3 Questions

votes activity newest
25
 How do 'tactics' work in proof assistants?
17
 What is the most intuitive dependent type theory I could learn?
14
 Do dependent types give you everything subtyping does?

385 Reputation

+35 What is the most intuitive dependent type theory I could learn?
+65 How do 'tactics' work in proof assistants?
+20 Do dependent types give you everything subtyping does?

0 Answers

votes activity newest
This user has not answered any questions

5 Tags

0
type-theory × 3
0
dependent-type
0
lo.logic × 3
0
proof-assistants
0
pl.programming-languages

17 Accounts

Cross Validated Cross Validated 926 rep 311
Stack Overflow Stack Overflow 422 rep 212
Theoretical Computer Science Stack Exchange Theoretical Computer Science 385 rep 29
Mathematics Stack Exchange Mathematics 263 rep 16
Personal Productivity Stack Exchange Personal Productivity 168 rep 4
stack exchange network profile view more

9 Badges

recent class name
 Good Question  Editor
 Popular Question  Scholar
 Yearling  Student
 Critic  Supporter
 Nice Question × 3

0 Active bounties

active offered earned
This user has no active bounties

19 Votes Cast

all time   by type  
19 up 11 question
0 down 8 answer
user feed
about help badges blog chat data legal privacy policy jobs advertising info mobile contact us feedback
Technology Life / Arts Culture / Recreation Science Other
  1. Stack Overflow
  2. Server Fault
  3. Super User
  4. Web Applications
  5. Ask Ubuntu
  6. Webmasters
  7. Game Development
  8. TeX - LaTeX
  1. Programmers
  2. Unix & Linux
  3. Ask Different (Apple)
  4. WordPress Answers
  5. Geographic Information Systems
  6. Electrical Engineering
  7. Android Enthusiasts
  8. IT Security
  1. Database Administrators
  2. Drupal Answers
  3. SharePoint
  4. User Experience
  5. Mathematica
  6. more (14)
  1. Photography
  2. Science Fiction & Fantasy
  3. Seasoned Advice (cooking)
  4. Home Improvement
  5. more (13)
  1. English Language & Usage
  2. Skeptics
  3. Mi Yodeya (Judaism)
  4. Travel
  5. Christianity
  6. Arqade (gaming)
  7. Bicycles
  8. Role-playing Games
  9. more (21)
  1. Mathematics
  2. Cross Validated (stats)
  3. Theoretical Computer Science
  4. Physics
  5. more (7)
  1. Stack Apps
  2. Meta Stack Overflow
  3. Area 51
  4. Stack Overflow Careers
site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required
rev 2013.6.19.752