Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pkgs.racket-lang.org : acl2s-scribblings
a scribble document for beginner mode of ACL2s
Registry
-
Source
- Documentation
- JSON
purl: pkg:racket/acl2s-scribblings
License: MIT
Latest release: 9 days ago
Stars: 0 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 9 days ago
[email protected]
66 packages0 downloads