Block or report user

Report or block rlepigre

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
Pro

Organizations

@Deducteam

Pinned repositories

  1. pml

    New version of the PML language and (classical) proof assistant

    OCaml 9 1

  2. Deducteam/lambdapi

    Proof assistant based on the λΠ-calculus modulo rewriting

    OCaml 35 13

  3. patoline/patoline

    Patoline typesetting system

    OCaml 68 8

  4. ocaml-imagelib

    The imagelib library implements image formats such as PNG or PPM

    OCaml 20 7

  5. ocaml-bindlib

    Efficient binder representation in OCaml

    OCaml 24 3

  6. ocaml-earley-ocaml

    Extensible OCaml parser to be used with Earley

    OCaml 3

1,357 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri

Contribution activity

February 2019

Created a pull request in Deducteam/lambdapi that received 3 comments

Work in progress - Interactive proof

This PR provides a new interface for interactive proofs, but the LSP part has not been adapted yet. Where are we on this @ejgallego?

+151 −65 3 comments

Created an issue in Deducteam/lambdapi that received 6 comments

CI broken due to changes in Yojson

Everything is in the title. We can either: disable some "warnings as errors" give an upper bound for the version of yojson we use update the way w…

6 comments

Seeing something unexpected? Take a look at the GitHub profile guide.