Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/agda/agda-stdlib
The Agda standard library
https://github.com/agda/agda-stdlib
agda library proof
Last synced: about 1 month ago
JSON representation
The Agda standard library
- Host: GitHub
- URL: https://github.com/agda/agda-stdlib
- Owner: agda
- License: other
- Created: 2014-01-17T09:09:18.000Z (almost 11 years ago)
- Default Branch: master
- Last Pushed: 2024-04-11T04:19:37.000Z (9 months ago)
- Last Synced: 2024-04-11T05:31:57.780Z (9 months ago)
- Topics: agda, library, proof
- Language: Agda
- Homepage: https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary
- Size: 475 MB
- Stars: 555
- Watchers: 32
- Forks: 233
- Open Issues: 258
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- Citation: CITATION.cff