rubengamboa/acl2-jupyter

•Updated about 4 years ago

A Jupyter notebook server that supports ACL2 notebooks

Image

1.4K

rubengamboa/acl2-jupyter repository overview

No overview available

This repository doesn't have an overview

Recent tags

Content type

Image

Digest

sha256:2f31034ac…

Size

981.8 MB

Last updated

about 4 years ago

docker pull rubengamboa/acl2-jupyter