Reputation
421
Top tag
Next privilege 500 Rep.
Access review queues
Badges
3 4
Newest
 Yearling
Impact
~2k people reached

  • 0 posts edited
  • 0 helpful flags
  • 0 votes cast
Jul
8
awarded  Yearling
Mar
21
awarded  Nice Answer
Jan
8
awarded  Good Answer
Jul
8
awarded  Yearling
Jul
8
awarded  Nice Answer
Jul
8
awarded  Teacher
Jul
8
awarded  Autobiographer
Jun
1
answered “A proof is a program; the formula it proves is a type for the program”