acl2-infix-source
- A Computational Logic for Applicative Common Lisp: infix source
/Main/Ubuntu/all/math/
ACL2 is both a programming language in which you can model computer
systems and a tool to help you prove properties of those models.
This package contains the source files to the infix interface to
ACL2.
| Homepage: | - |
| Package version: | 3.0-1 |
| Architecture: | all |
| Distribution: | Ubuntu |
| Filename: | acl2-infix-source_3.0-1_all.deb |
Browse inside acl2-infix-source_3.0-1_all.deb:
Download acl2-infix-source_3.0-1_all.deb:
