Skip to content
@CertiCoq

CertiCoq

A Verified Compiler for Gallina, the Specification Language of the Coq Proof Assistant

Pinned Loading

  1. certicoq Public

    A Verified Compiler for Gallina, Written in Gallina

    Coq 140 28

  2. VeriFFI Public

    VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification levels; part of CertiCoq project

    Coq 43 3

Repositories

Showing 3 of 3 repositories
  • certicoq Public

    A Verified Compiler for Gallina, Written in Gallina

    Coq 140 MIT 28 18 3 Updated Jan 29, 2025
  • certicoq.github.io Public
    2 0 0 0 Updated Jan 7, 2025
  • VeriFFI Public

    VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification levels; part of CertiCoq project

    Coq 43 MIT 3 1 1 Updated Dec 31, 2024

Top languages

Loading…

Most used topics

Loading…