Name		Name	Last commit message	Last commit date
latex		latex
structures		structures
theory		theory
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
Presentation.lagda		Presentation.lagda
README.md		README.md
presentation.png		presentation.png

Repository files navigation

CALP Beamer

Tested with TeX Live 2022 and Agda version 2.6.2.2

Result:

About

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

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

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages