Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by CertiCoq

A curated list of projects in awesome lists by CertiCoq .

- Recently synced
- Stars

https://github.com/certicoq/certicoq

A Verified Compiler for Gallina, Written in Gallina

compiler coq formal-verification gallina

Last synced: 10 Oct 2024