This page compiles pointers related to:
Marc Bezem, Ulrik Buchholtz, Pierre Cagne, Bjørn Ian Dundas, Daniel R. Grayson:
Symmetry
(2021)
which is a gentle exposition to group theory (“symmetry”) in the language of univalent foundations of mathematics (homotopy type theory with the univalence axiom).
Formalization in Agda:
Last revised on February 7, 2023 at 07:49:55. See the history of this page for a list of all contributions to it.