Skip to content
@smtcoq

smtcoq

Popular repositories Loading

  1. smtcoq smtcoq Public

    Communication between Coq and SAT/SMT solvers

    OCaml 157 44

  2. sniper sniper Public

    Coq 35 6

  3. smtcoq.github.io smtcoq.github.io Public

    4

  4. smtcoq-api smtcoq-api Public

    An API to interact with SMTCoq

    OCaml 2 1

  5. opam-coq-archive opam-coq-archive Public

    Forked from coq/opam

    Archive for all Coq related OPAM packages organized in various repositories

    OCaml 1

  6. cvc4coq cvc4coq Public

    Integration of CVC4 into Coq

    Coq

Repositories

Showing 10 of 10 repositories
  • smtcoq-api Public

    An API to interact with SMTCoq

    smtcoq/smtcoq-api’s past year of commit activity
    OCaml 2 1 0 0 Updated Dec 11, 2024
  • sniper Public
    smtcoq/sniper’s past year of commit activity
    Coq 35 6 8 0 Updated Oct 24, 2024
  • smtcoq Public

    Communication between Coq and SAT/SMT solvers

    smtcoq/smtcoq’s past year of commit activity
    OCaml 157 44 37 2 Updated Sep 20, 2024
  • opam-coq-archive Public Forked from coq/opam

    Archive for all Coq related OPAM packages organized in various repositories

    smtcoq/opam-coq-archive’s past year of commit activity
    OCaml 1 LGPL-2.1 175 0 0 Updated Sep 18, 2024
  • smtcoq.github.io Public
    smtcoq/smtcoq.github.io’s past year of commit activity
    4 0 0 0 Updated Jul 25, 2024
  • smtcoq-ci Public

    Files for SMTCoq CI

    smtcoq/smtcoq-ci’s past year of commit activity
    Dockerfile 0 2 0 0 Updated Oct 5, 2023
  • native-coq Public Forked from maximedenes/native-coq

    Coq with native compilation, as well as machine integers and arrays !

    smtcoq/native-coq’s past year of commit activity
    OCaml 0 LGPL-2.1 14 0 0 Updated Jul 12, 2018
  • smtcoq-resource Public

    Replaces the old SVN repo for smtcoq-resource ; it is devoted to become a branch of smtcoq once updated

    smtcoq/smtcoq-resource’s past year of commit activity
    Coq 0 0 0 0 Updated Dec 21, 2017
  • NDBvector Public

    A Coq library for bit vectors, in a non-dependent style

    smtcoq/NDBvector’s past year of commit activity
    Coq 0 0 0 0 Updated Sep 7, 2015
  • cvc4coq Public

    Integration of CVC4 into Coq

    smtcoq/cvc4coq’s past year of commit activity
    Coq 0 0 0 0 Updated Jun 26, 2015

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…