GitHub repository: EugeneLoy/coq_jupyter
Primary language: Python
Created: 2018-12-26T14:40:15Z
Description: Jupyter kernel for Coq