Jupyter Kernel for ACL2
Project description
The author of this package has not provided a project description
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
acl2-kernel-0.1.0.tar.gz
(3.8 kB
view hashes)
Built Distribution
Close
Hashes for acl2_kernel-0.1.0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f69ea76bab3bef2141998e34491953c89c9b6d96a166414236bca5025fe96492 |
|
MD5 | 74c98c40a7962c73cc144e45e9a23d59 |
|
BLAKE2b-256 | d481c0ca62bd2ff02f6d3b555040396f7c3351190e9893e15ce21712100b1a81 |