Coq Jupyter Files

Jupyter kernel for Coq

This is an exact mirror of the Coq Jupyter project, hosted at https://github.com/EugeneLoy/coq_jupyter. SourceForge is not affiliated with Coq Jupyter. For more information, see the SourceForge Open Source Mirror Directory.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
coq_jupyter-1.5.2-py2.py3-none-any.whl	2020-02-04	20.3 kB	0
coq_jupyter-1.5.2.tar.gz	2020-02-04	21.6 kB	0
v1.5.2 source code.tar.gz	2020-02-04	27.1 kB	0
v1.5.2 source code.zip	2020-02-04	31.5 kB	0
Totals: 4 Items		100.5 kB	0

Other Useful Business Software

Awardco Employee Recognition

For companies looking to recognize and reward their employees

Everything you love about Amazon is now available for rewards and recognition. Awardco has partnered with Amazon Business to bring millions of reward choices, lower vendor fees and dollar-for-dollar recognition spend to your organization. More choice, more capability, and less spend - all in one simple platform.

Learn More

White Labeled Fintech Software Solutions | Centrex

Centrex is a full suite of white labeled fintech solutions built and designed for brokers, lenders, banks, investors, fintechs

The Centrex products include: CRM, loan origination, loan and advance servicing software, syndication management, white labeled mobile app, money manager, underwriting, Esign, and website smart app builder. The Centrex services include: fintech software consulting, admin retainer services, and managed data cloud.

Learn More

Recommended Projects

OCaml Jupyter
An OCaml kernel for Jupyter (IPython) notebook
Lambda Tamer
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
nbdev
Create delightful software with Jupyter Notebooks
Jupyter Notebook
Jupyter Interactive Notebook
Jupyter Notebook Viewer
A Jupyter notebook viewer for macOS

Coq Jupyter Files

Jupyter kernel for Coq

Get an email when there's a new version of Coq Jupyter