https://github.com/juniors90/calp-beamer

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

agda agda-backend agda-library agda-mode calp representation-theory tex

Last synced: 02 Apr 2025