Make sure that CoqIDE (8.6 or newer) is installed and coqidetop or coqidetop.opt (coqtop for Coq versions before 8.9.0) is in your PATH. Also, make sure the python command is recognized on your machine. If not you can set up an alias for it e.g. python-is-python3 on Ubuntu. There are a number of convenience improvements over standard Jupyter notebook behavior that are implemented to support Coq-specific use cases.

Features

  • Install from PyPi
  • Documentation available
  • Examples available
  • By default, running cell will rollback any code that was executed in that cell before
  • Use --coqtop-args to supply additional arguments to coqidetop/coqidetop.opt/coqtop

Project Samples

Coq Jupyter Screenshot 1

Project Activity

See All Activity >

Categories

Operating System Kernels

License

Apache License V2.0

Follow Coq Jupyter

Coq Jupyter Web Site

Other Useful Business Software
99.99% Uptime for MySQL and PostgreSQL on Google Cloud Icon
99.99% Uptime for MySQL and PostgreSQL on Google Cloud

Enterprise Plus edition delivers sub-second maintenance downtime and 2x read/write performance. Built for critical apps.

Cloud SQL Enterprise Plus gives you a 99.99% availability SLA with near-zero downtime maintenance—typically under 10 seconds. Get 2x better read/write performance, intelligent data caching, and 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server with built-in vector search for gen AI apps. New customers get $300 in free credit.
Try Cloud SQL Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Coq Jupyter!

Additional Project Details

Programming Language

Python

Related Categories

Python Operating System Kernels

Registered

2024-01-09
Report inappropriate content