معرفی شرکت ها

acl2-kernel-0.3.1

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Jupyter Kernel for ACL2
ویژگی مقدار
سیستم عامل -
نام فایل acl2-kernel-0.3.1
نام acl2-kernel
نسخه کتابخانه 0.3.1
نگهدارنده []
ایمیل نگهدارنده []
نویسنده TANIGUCHI Masaya
ایمیل نویسنده m@docs.casa
آدرس صفحه اصلی https://github.com/tani/acl2-kernel
آدرس اینترنتی https://pypi.org/project/acl2-kernel/
مجوز Apache-2.0
# acl2-kernel [![PyPI](https://img.shields.io/pypi/v/acl2-kernel)](https://pypi.org/project/acl2-kernel/) [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/tani/acl2-kernel/master?filepath=Example.ipynb) Jupyter Kernel for ACL2 ## What is Jupyter and ACL2? > Project Jupyter exists to develop open-source software, open-standards, and services for interactive computing across dozens of programming languages. (https://jupyter.org/) > ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models. "ACL2" denotes "A Computational Logic for Applicative Common Lisp". (http://www.cs.utexas.edu/users/moore/acl2/) ## Usage We follow to the standard jupyter kernel installation. So, you will install the kernel by `pip` command, and will call the installation command like, ```sh $ pip3 install jupyter acl2-kernel $ python3 -m acl2_kernel.install $ jupyter notebook ``` You also can see the deep usage by `python3 -m acl2_kernel.install --help`. ### Docker In some case, you might want to run the kernel in the Docker containers. This repository contains Dockerfile example. You can build example image by the following command. ``` $ docker build . -t acl2 ``` To run the container, you would type the command like ``` $ docker run --rm -p 8888:8888 acl2 jupyter notebook --ip='0.0.0.0' ``` A running example is available in the `example/` directory. You can try it on [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/tani/acl2-kernel/master?filepath=Example.ipynb). ## Building from source Install [Poetry](https://python-poetry.org/) and in the root directory, do ``` $ poetry build $ pip3 install dist/acl2-kernel-<version>.tar.gz $ python3 -m acl2_kernel.install --acl2 <path-to-acl2-binary> ``` ## Related Projects - [Jupyter](https://jupyter.org/) - Softwares for interactive computing - [ACL2](http://www.cs.utexas.edu/users/moore/acl2/) - Theorem prover based on Common Lisp ## License This project is released under the BSD 3-clause license. Copyright (c) 2020, TANIGUCHI Masaya All rights reserved. We borrow code from the following projects. - Egison Kernel; Copyright (c) 2017, Satoshi Egi and contributors All rights reserved. - Bash Kernel; Copyright (c) 2015, Thomas Kluyver and contributors All rights reserved.


نیازمندی

مقدار نام
>=4.8.0,<5.0.0 pexpect
>=6.6.0,<7.0.0 ipykernel
>=6.1.3,<7.0.0 jupyter_client
>=7.16.2,<8.0.0 ipython
>=2021.11.10,<2022.0.0 regex


زبان مورد نیاز

مقدار نام
>=3.8,<4.0 Python


نحوه نصب


نصب پکیج whl acl2-kernel-0.3.1:

    pip install acl2-kernel-0.3.1.whl


نصب پکیج tar.gz acl2-kernel-0.3.1:

    pip install acl2-kernel-0.3.1.tar.gz