Skip to content
@CertiCoq

CertiCoq

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

Pinned Loading

  1. certicoq certicoq Public

    A Verified Compiler for Gallina, Written in Gallina

    Coq 135 24

  2. VeriFFI 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 26 1

Repositories

Showing 3 of 3 repositories
  • certicoq Public

    A Verified Compiler for Gallina, Written in Gallina

    CertiCoq/certicoq’s past year of commit activity
    Coq 135 MIT 24 4 1 Updated Aug 21, 2024
  • 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

    CertiCoq/VeriFFI’s past year of commit activity
    Coq 26 MIT 1 0 1 Updated Jul 18, 2024
  • certicoq.github.io Public
    CertiCoq/certicoq.github.io’s past year of commit activity
    2 0 0 0 Updated Feb 23, 2024

Top languages

Loading…

Most used topics

Loading…