Formal Methods fuckReddit • 1y ago • 100%

Symmetry: A textbook-in-progress on group theory in Univalent Type Theory – comments welcome on github