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 : refined-acl2

Refined ACL2: experimental implementation of ACL2-verifiable code with ML modules and Racket macros.

Registry - Source - Documentation - JSON
purl: pkg:racket/refined-acl2
License:
Latest release: 4 days ago
Last synced: 4 days ago

Readme