The ARM variant of the [Axe toolkit](https://acl2.org/doc/?topic=ACL2____AXE), for dealing with ARM binaries.

See the [documentation](https://acl2.org/doc/?topic=ACL2____AXE-ARM).

See the [examples/](examples) directory for examples.
