Jupyter Kernel for ACL2

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for rubengamboa from gravatar.com rubengamboa

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: BSD License (bsd-3-clause)
  • Author: Ruben Gamboa
  • Tags ACL2, theorem proving, verification
Classifiers

Project description

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

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for rubengamboa from gravatar.com rubengamboa

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: BSD License (bsd-3-clause)
  • Author: Ruben Gamboa
  • Tags ACL2, theorem proving, verification
Classifiers

Release history Release notifications | RSS feed

This version

1.0.7

1.0.6

1.0.4

1.0.3

1.0.2

1.0.1

1.0

0.5

0.4

0.3

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

acl2_jupyter-1.0.7.tar.gz (5.4 kB view details)

Uploaded Source

File details

Details for the file acl2_jupyter-1.0.7.tar.gz.

File metadata

  • Download URL: acl2_jupyter-1.0.7.tar.gz
  • Upload date:
  • Size: 5.4 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.3.0 pkginfo/1.7.0 requests/2.24.0 setuptools/49.2.0.post20200714 requests-toolbelt/0.9.1 tqdm/4.48.2 CPython/3.8.5

File hashes

Hashes for acl2_jupyter-1.0.7.tar.gz
Algorithm Hash digest
SHA256 79f4af42ecb82ca0840715130a34a13b772222f5e3c8770f8e81f3459c4545c5
MD5 fc1f0ca776ad9403c4fc476237873d2d
BLAKE2b-256 d834dc2684f1f64597684b1404939852d0f09111ede8dff8f35c1ded04a4799c

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page