Type Theory Forall - #26 Mechanizing Modern Mathematics - Kevin Buzzard
Sign in to continue reading, translating and more.
