Mathematics Stack Exchange
Mathematics Stack Exchange

Mark Steve
111
reputation
  • Member since April 03 2021
  • 25 profile views
  • Last seen Dec 05 '24 at 23:02

Trying to understand type theory...