# pigworker/cs410-14

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/pigworker-cs410-14).**

_How this analysis was created: the description and tags below were written by an AI model that read this project's README and public documentation pages; stars, license and language come straight from the GitHub API. The model does not read the source code._

72 stars · 6 forks · Agda · Unlicense

## Links

- GitHub: https://github.com/pigworker/CS410-14
- awesome-repositories: https://awesome-repositories.com/repository/pigworker-cs410-14.md

## Description

#CS410-14#

## Tags

### Part of an Awesome List

- [Proof Assistants](https://awesome-repositories.com/f/awesome-lists/devtools/proof-assistants.md) — Course materials and exercises for learning Agda and type theory.