roosterize
Tool for suggesting lemma names in Coq verification projects
18 stars
7 watching
5 forks
Language: Python
last commit: about 2 years ago
Linked from 1 awesome list
coqdeep-learningmachine-learningmathcompname-generationneural-networkspytorchserapi
coq-community/awesome-coq