EugeneLoy
coq_jupyter
Python

Jupyter kernel for Coq

Last updated Jan 18, 2026
95
Stars
9
Forks
16
Issues
0
Stars/day
Attention Score
37
Language breakdown
No language data available.
Files click to expand
README
No README available.
🔗 More in this category

© 2026 GitRepoTrend · EugeneLoy/coq_jupyter · Updated daily from GitHub