Mathematics Stack Exchange
Mathematics Stack Exchange

j11c
75
reputation
  • Member since July 30 2015
  • 4 profile views
  • Last seen Aug 06 '17 at 14:40

Principally interested in dependent types and programs-as-proofs. Still a lot to learn though.