/CALP-beamer

Notes about "An introduction to Finite Group Representation Theory using Agda"

Primary LanguageTeXMIT LicenseMIT

No issues in this repository yet.