acl2-kernel

Jupyter Kernel for ACL2

Creator

tani

Related apps

papyrus

A Literate Programming Tool: Common Lisp + Markdown / Org mode

Common Lisp45mit

7 months ago

common-lispliterate-programmingmarkdown