gallina topic

List gallina repositories

certicoq

133
Stars
23
Forks
Watchers

A Verified Compiler for Gallina, Written in Gallina

verified publisher icon CertiCoq