mercury-lib
Wrapper over `automata-lib` with the goal of supporting GOLD-3 syntax for automata development for students
Activity
- Latest release
- 1y ago
- Total releases
- 1
- Cadence
- —
- Last 12 months
- 0
Details
- License
- Apache-2.0
- First release
- May 29, 2025
Attempting to reconnect
Attempting to reconnect