About Paul Reichert

Hello! This is my new separate Mastodon account for English math and computer science content.

Things that excite me most right now are dependent types and infinity category theory. Also, happily working on the Lean standard library, but this is not a professional account and opinions are my own.

Lists

Timeline

paulreichert has no activity yet