Skip to content

@CertiCoq CertiCoq

Change the repository type filter

All

    Repositories list

    3 repositories

    • certicoq

      Public
      A Verified Compiler for Gallina, Written in Gallina
      compilercoqformal-verificationgallina
      Rocq Prover
      •
      MIT License
      •33•157•19•4•Updated Nov 4, 2025Nov 4, 2025

    • certicoq.github.io

      Public
      0•2•0•0•Updated Jan 7, 2025Jan 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
      •
      MIT License
      •3•46•1•1•Updated Dec 31, 2024Dec 31, 2024