mCoq

Apache-2.0Javav8.10.0

Mutation analysis tool for Coq verification projects to detect incomplete specifications.

31 stars1 forks0 contributors

Overview

Mutation analysis tool for Coq verification projects

Community-curated · Updated weekly · 100% open source

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

5 years ago

CreatedSince 2020

Auto-fetched 21 hours ago

Sail architecture definition language

Cosette is an automated SQL solver.

The Ott tool for writing definitions of programming languages and calculi

Formal verification for OCaml, with Rocq