Awesome Open Source

Programming Languages

Agda Math

An alternative construction of algebraic structures other than the Agda standard library

Categories > Standard Library

Suggest Alternative

Stars

7

License

No license specified

Most Recent Commit

5 years ago

Programming Language

Agda

Suggest An Alternative To agda-math

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source. All rights reserved.