Search Criteria
Package Details: python-coq-jupyter 1.6.0-2
Package Actions
Git Clone URL: | https://aur.archlinux.org/python-coq-jupyter.git (read-only, click to copy) |
---|---|
Package Base: | python-coq-jupyter |
Description: | Coq kernel for Jupyter |
Upstream URL: | https://github.com/EugeneLoy/coq_jupyter |
Licenses: | Apache |
Submitter: | dringsim |
Maintainer: | dringsim |
Last Packager: | dringsim |
Votes: | 0 |
Popularity: | 0.000000 |
First Submitted: | 2023-08-26 07:35 (UTC) |
Last Updated: | 2023-09-10 03:13 (UTC) |