| Packages |
| Name | PLaneT Version | External Version | Owner | Description |
|---|---|---|---|---|
| dracula.plt | (8 25) | — | cce | Provides the Dracula language level for ACL2 emulation. |
| fasttest.plt | (4 2) | — | cce | FastTest random test case generation. Inspired by the QuickCheck library for Haskell. |
| scheme.plt | (7 8) | — | cce | PLT Scheme programming utilities, including tools for:
|
| Open tickets |
![[logo]](/logo.png){kind=logo}