Activity for Coq Jupyterhttps://sourceforge.net/mirror/coq-jupyter/activity/Recent activity for Coq JupyterenFri, 26 Jan 2024 00:33:03 -0000Coq Jupyter released /v1.6.2/coq_jupyter-1.6.2.tar.gzhttps://sourceforge.net/projects/coq-jupyter.mirror/files/v1.6.2/coq_jupyter-1.6.2.tar.gz/downloadCoq JupyterFri, 26 Jan 2024 00:33:03 -0000https://sourceforge.net/projects/coq-jupyter.mirror/files/v1.6.2/coq_jupyter-1.6.2.tar.gz/downloadCoq Jupyter released /v1.6.2/coq_jupyter-1.6.2-py3-none-any.whlhttps://sourceforge.net/projects/coq-jupyter.mirror/files/v1.6.2/coq_jupyter-1.6.2-py3-none-any.whl/downloadCoq JupyterFri, 26 Jan 2024 00:33:03 -0000https://sourceforge.net/projects/coq-jupyter.mirror/files/v1.6.2/coq_jupyter-1.6.2-py3-none-any.whl/downloadCoq Jupyter released /v1.6.2/v1.6.2 source code.ziphttps://sourceforge.net/projects/coq-jupyter.mirror/files/v1.6.2/v1.6.2%20source%20code.zip/downloadCoq JupyterFri, 26 Jan 2024 00:33:03 -0000https://sourceforge.net/projects/coq-jupyter.mirror/files/v1.6.2/v1.6.2 source code.zip/downloadCoq Jupyter released /v1.6.2/v1.6.2 source code.tar.gzhttps://sourceforge.net/projects/coq-jupyter.mirror/files/v1.6.2/v1.6.2%20source%20code.tar.gz/downloadCoq JupyterFri, 26 Jan 2024 00:33:03 -0000https://sourceforge.net/projects/coq-jupyter.mirror/files/v1.6.2/v1.6.2 source code.tar.gz/download