mcoq

mcoq

https://github.com/EngineeringSoftware/mcoq

Java28

4 years ago

Reviews

Mutation analysis tool for Coq verification projects

Search similar apps

License

Apache License 2.0

Share

Mutation analysis tool for Coq verification projects

Creator

EngineeringSoftware

Related apps