Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/idris-hackers/software-foundations

book computer-science idris theorem-proving

Last synced: 2 months ago
JSON representation

Software Foundations in Idris

Host: GitHub
URL: https://github.com/idris-hackers/software-foundations
Owner: idris-hackers
License: mit
Created: 2016-06-23T10:01:40.000Z (over 8 years ago)
Default Branch: develop
Last Pushed: 2019-05-15T19:06:08.000Z (over 5 years ago)
Last Synced: 2024-08-03T15:06:45.497Z (6 months ago)
Topics: book, computer-science, idris, theorem-proving
Language: Idris
Homepage: https://idris-hackers.github.io/software-foundations
Size: 4.25 MB
Stars: 453
Watchers: 30
Forks: 34
Open Issues: 15
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE