EPKG ob-acl2

Package

ob-acl2

Babel Functions for ACL2

github.com/tani/ob-acl2

Author TANIGUCHI Masaya

Updated 2024-May-06

Dependencies 5

Used by 0

Documentation

Commentary

This file contains the org-babel functions for ACL2.

Requires

Dependencies

cl-lib
ert
ob-comint
org
subr-x

Consumers

Reverse Dependencies

No reverse dependencies recorded.