CertiCoq

CertiCoq

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
152 Stars
33 Forks
152 Watchers

Repositories (1)

certicoq CertiCoq/certicoq Rocq Prover

A Verified Compiler for Gallina, Written in Gallina

152