conda-forge / packages / coq-jupyter

• 0

Jupyter kernel for Coq

copied from cf-staging / coq-jupyter

• Conda
• Files
• Labels
• Badges

Label	Latest Version
main	1.6.0
cf202003	1.5.3