Repository Index

Interactive Coq Proofs in Vim

• coq
• vim
• proof-assistant

Jupyter kernel for Coq

• coq
• jupyter
• kernel
• jupyter-kernels

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

Tool for suggesting lemma names in Coq verification projects

• coq
• machine-learning
• name-generation
• pytorch