Project acl2
Known since 2026-08-21, see on repology.
8.6
- Fetched
- 2026-08-21
- Package
- acl2-minimal
- Size
- 1260927
- Lines
- 39167
- Fetched
- 2026-08-21
- Package
- acl2-minimal
- Size
- 1261399
- Lines
- 39171
- Fetched
- 2026-08-21
- Package
- acl2-minimal
- Size
- 1261327
- Lines
- 39169