47,133 repositories indexed
Filters
1–2 of 2 · Most stars
Interactive Coq Proofs in Vim
Jupyter kernel for Coq