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