Skip to content
View ppedrot's full-sized avatar

Organizations

@coq

Block or report ppedrot

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 Loading

  1. kravanenn kravanenn Public

    A set of tools for Coq written in Rust

    Rust 13 2

  2. ocaml-melt ocaml-melt Public

    OCaml 9

  3. lsh-generator lsh-generator Public

    Generate titles of conferences in philosophy!

    OCaml 8 1

  4. ll-coq ll-coq Public

    Some Coq formalizations of Linear Logic

    Coq 7 3

  5. ocaml-compactor ocaml-compactor Public

    Small library to compute maximal sharing of OCaml datastructures.

    OCaml 7

  6. coq-forcing coq-forcing Public

    Tentative implementation of call-by-name forcing in Coq

    Coq 7 2