Notes about "An introduction to Finite Group Representation Theory using Agda"
-
Updated
Sep 27, 2022 - TeX
Notes about "An introduction to Finite Group Representation Theory using Agda"
Add a description, image, and links to the calp topic page so that developers can more easily learn about it.
To associate your repository with the calp topic, visit your repo's landing page and select "manage topics."