FAQ
Answers to frequently asked questions.
What is Thmpr?
Come back in January 2022... and the mystery will be revealed.
Other documentation?
- agda-algebras The Agda Universal Algebra Library, Ver. 2.0
- UALib The Agda Universal Algebra Library, Ver. 1.0
- Agda Standard Library
- Agda Tools
- Agda Language Reference
Contact the creator?
Send William DeMeo an E-mail: