The latest version of acl2 is 0.0.1-0.
acl2
Version 0.0.0 revision 0 uploaded by TomHawkins.
Package meta
- Synopsis
- Writing and calling ACL2 from Haskell.
- Description
Writing and calling ACL2 from Haskell.
- Author
- Tom Hawkins <tomahawkins@gmail.com>
- Bug reports
- n/a
- Category
- Language, Formal Methods
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- Tom Hawkins <tomahawkins@gmail.com>
- Package URL
- n/a
- Stability
- n/a