Reviews
Tool for suggesting lemma names in Coq verification projects
Search similar apps
License
MIT License
Tool for suggesting lemma names in Coq verification projects
Creator
Related apps
mcoq
Mutation analysis tool for Coq verification projects
Java25apache-2.0
4 years ago
coqmutation-analysisserapi