معرفی شرکت ها
coq-jupyter-1.6.0
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | - |
| نام فایل | coq-jupyter-1.6.0 |
| نام | coq-jupyter |
| نسخه کتابخانه | 1.6.0 |
| نگهدارنده | [] |
| ایمیل نگهدارنده | [] |
| نویسنده | Eugene Loy |
| ایمیل نویسنده | eugeny.loy@gmail.com |
| آدرس صفحه اصلی | https://github.com/EugeneLoy/coq_jupyter |
| آدرس اینترنتی | https://pypi.org/project/coq-jupyter/ |
| مجوز | - |
نیازمندی
| مقدار | نام |
|---|---|
| - | jupyter-client |
| - | IPython |
| - | ipykernel |
| - | future |
| >=4.0 | pexpect |
نحوه نصب
نصب پکیج whl coq-jupyter-1.6.0:
pip install coq-jupyter-1.6.0.whl
نصب پکیج tar.gz coq-jupyter-1.6.0:
pip install coq-jupyter-1.6.0.tar.gz