Skip to content
View boulme's full-sized avatar
5 followers · 0 following

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report boulme

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. Impure Impure Public

    A Coq library to embed Impure OCaml oracles in certified Coq code

    Coq 3

  2. opam-coq-archive opam-coq-archive Public

    Forked from coq/opam

    Archive for all Coq related OPAM packages organized in various repositories

    JavaScript 2

  3. satans-cert satans-cert Public

    Certifying Answers of Boolean SAT-Solvers (with a proof combining Coq and OCaml typecheckers)

    Coq 2

  4. coq-tutorial-ml-tactics coq-tutorial-ml-tactics Public

    Forked from braibant/coq-tutorial-ml-tactics

    A tutorial on how to write OCaml tactics for the Coq proof assistant

    OCaml 1

  5. ImpureDemo ImpureDemo Public

    A Coq library to embed Impure OCaml oracles in certified Coq code

    Coq 1