Mathematics Stack Exchange
Mathematics Stack Exchange

Mark Steve
11
reputation
  • Member since April 03 2021
  • 7 profile views
  • Last seen Apr 04 '24 at 20:33

Trying to understand type theory...