Sign inSign up

CertiCoq/certicoq

A Verified Compiler for Gallina, Written in Gallina

Rocq ProverStars 158Forks 33Watchers 158Open issues 23License MIT License
Details
仓库信息
OwnerCertiCoq
Homepage—
GitHubhttps://github.com/CertiCoq/certicoq
Last pushed2025-12-11
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--