acl2-jupyter

PyPI

Jupyter Kernel for ACL2

Versions collected1

Direct dependencies0From release 1.0.7

Last observed20 Oct, 18:15 UTC

README

Version 1.0.7 documentation

This package allows you to connect an ACL2 process running with the ACL2 Bridge to a Jupyter notebook server.

Awaiting observations

Download counts and popularity will appear here as the collector receives them.

Collected releases

Version	Published	Direct dependencies	Open version
1.0.7	18 Aug 2022	0

No matching advisories collected

This describes our collected data; it is not a security assessment.

PENDING

Shared repository data · GitHub

Meaningful changes

Current collected state Current

Observed since 20 Oct, 18:15 UTC

No superseded metadata states collected. Unchanged observations do not create new revisions.

package:fe2c364baf62e8c019da639b355f1af78a726f0ee0bbeb7ace1d0d97ab985fb5