ob-acl2

Homepage: https://github.com/tani/ob-acl2

Author: TANIGUCHI Masaya

Updated: 2024-May-06

Summary

Babel Functions for ACL2

Commentary

This file contains the org-babel functions for ACL2.

Dependencies

• cl-lib
• ert
• ob-comint
• org
• subr-x