mCoq

https://github.com/engineeringsoftware/mcoq

mCoq is a tool for mutation analysis of verification projects that use the Coq proof assistant,...

Tokens:11,769
Snippets:204
Trust Score:8.7
License:Apache-2.0
Update:2 weeks ago
Tokens:
Raw