A
Agda
Projects with this topic
-
Learn abstract math with agda
🚀 Updated -
Documentation: https://ualib.gitlab.io . New version: https://github.com/ualib/agda-algebras
Updated
Learn abstract math with agda
Documentation: https://ualib.gitlab.io . New version: https://github.com/ualib/agda-algebras