https://github.com/clarus/coq-iterable
Generic definition of iterators.
https://github.com/clarus/coq-iterable
Last synced: 2 months ago
JSON representation
Generic definition of iterators.
- Host: GitHub
- URL: https://github.com/clarus/coq-iterable
- Owner: clarus
- License: mit
- Created: 2014-10-15T12:25:49.000Z (about 11 years ago)
- Default Branch: master
- Last Pushed: 2015-11-26T17:49:21.000Z (about 10 years ago)
- Last Synced: 2025-05-31T10:30:41.658Z (7 months ago)
- Language: Coq
- Size: 3.91 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Iterable
> Generic definition of iterators.
opam install coq-iterable