GitHub / EngineeringSoftware / mcoq
Mutation analysis tool for Coq verification projects
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/EngineeringSoftware%2Fmcoq
Stars: 30
Forks: 1
Open issues: 4
License: apache-2.0
Language: Java
Size: 1.9 MB
Dependencies parsed at: Pending
Created at: over 5 years ago
Updated at: 6 months ago
Pushed at: over 4 years ago
Last synced at: 26 days ago
Topics: coq, mutation-analysis, serapi
Loading...