Javascript Python Rust Java Swift Clojure

coq_jupyter

https://github.com/EugeneLoy/coq_jupyter

10 months ago

Reviews

Jupyter kernel for Coq

Search similar apps

coq
dependent-types
jupyter
jupyter-extension
jupyter-kernels
jupyter-notebook
kernel
proof-assistant
python-pa
theorem-proving

License

Apache License 2.0

Share

Share on Facebook
Share on Instagram
Share on Twitter

Jupyter kernel for Coq

Creator

EugeneLoy

Related apps

Copyright © 2024 AppsWithCode. All rights reserved.