Coq Jupyter Versions Save

Jupyter kernel for Coq

v1.6.2

4 months ago

v1.6.0

2 years ago

v1.5.3

4 years ago

v1.5.2

4 years ago

v1.5.1

4 years ago

v1.5.0

5 years ago

v1.4.0

5 years ago

v1.3.0

5 years ago

v1.2.0

5 years ago

v1.1.0

5 years ago