ualib.gitlab.io

Project information

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

universal al... Agda formal proof dependent types

1,167 Commits
21 Branches
0 Tags

README
Creative Commons Attribution Share Alike 4.0 International
GitLab Pages

Created on

May 14, 2019

Loading