Reputation
Top tag
Next privilege 200 Rep.
See reduced ads
Badges
2
Newest
 Supporter
Impact
~2k people reached

  • 0 posts edited
  • 0 helpful flags
  • 1 vote cast
Sep
7
answered Why don't we have a non-turing complete general purpose language yet?
Sep
6
awarded  Supporter
Jan
31
awarded  Teacher
Jun
1
answered “A proof is a program; the formula it proves is a type for the program”