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

Notes about "An introduction to Finite Group Representation Theory using Agda"
https://github.com/juniors90/calp-beamer

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

Last synced: about 2 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/juniors90/calp-beamer
• Owner: juniors90
• License: mit
• Created: 2022-09-20T04:23:51.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-09-27T23:39:38.000Z (over 2 years ago)
• Last Synced: 2025-02-07T15:45:15.209Z (4 months ago)
• Topics: agda, agda-backend, agda-library, agda-mode, calp, representation-theory, tex
• Language: TeX
• Homepage:
• Size: 2.33 MB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# CALP Beamer

[![GitHub license](https://img.shields.io/github/license/juniors90/CALP-beamer)](https://github.com/juniors90/CALP-beamer/blob/main/LICENSE)

[![GitHub stars](https://img.shields.io/github/stars/juniors90/CALP-beamer)](https://github.com/juniors90/CALP-beamer/stargazers)

[![GitHub issues](https://img.shields.io/github/issues/juniors90/CALP-beamer)](https://github.com/juniors90/CALP-beamer/issues)

[![GitHub forks](https://img.shields.io/github/forks/juniors90/CALP-beamer)](https://github.com/juniors90/CALP-beamer/network)

[![GitHub contributors](https://img.shields.io/github/contributors/juniors90/CALP-beamer?color=green)](https://github.com/juniors90/CALP-beamer/graphs/contributors)

Tested with TeX Live 2022 and Agda version 2.6.2.2

Result:

![Slide](presentation.png)