/CALP-beamer

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

Primary LanguageTeXMIT LicenseMIT

CALP Beamer

GitHub license GitHub stars GitHub issues GitHub forks GitHub contributors

Tested with TeX Live 2022 and Agda version 2.6.2.2

Result:

Slide