Reviews
Mutation analysis tool for Coq verification projects
Search similar apps
License
Apache License 2.0
Related apps
roosterize
Tool for suggesting lemma names in Coq verification projects
Python15mit
2 years ago
coqdeep-learningmachine-learning
Mutation analysis tool for Coq verification projects
Apache License 2.0
Tool for suggesting lemma names in Coq verification projects
Python15mit
2 years ago
coqdeep-learningmachine-learning