ualib/ualib.gitlab.io

Documentation: https://ualib.gitlab.io . New version: https://github.com/ualib/agda-algebras

GitLab repository with 5 stars and 2 forks.

Language: TeX

Topics: Agda, dependent types, formal proof, universal algebra

Open provider repository