mcoq

Mutation analysis tool for Coq verification projects

29 stars

9 watching

1 forks

Language: Java

last commit: almost 4 years ago

Linked from 1 awesome list

coqmutation-analysisserapi

Screenshot of EngineeringSoftware/mcoq website

cozy.ece.utexas.edu/mcoq/

Backlinks from these awesome lists:

coq-community/awesome-coq