Besides writing papers mostly in private repositories, I'm currently working on the Symmetry book: a textbook on group theory from the point of view of univalent mathematics in homotopy type theory.
-
Notifications
You must be signed in to change notification settings - Fork 0
UlrikBuchholtz/UlrikBuchholtz
About
My personal repository
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published