Reviews
Jupyter Kernel for ACL2
Search similar apps
License
Other
Jupyter Kernel for ACL2
Creator
Related apps
papyrus
A Literate Programming Tool: Common Lisp + Markdown / Org mode
Common Lisp45mit
6 months ago
common-lispliterate-programmingmarkdown