The Wayback Machine - https://web.archive.org/web/20220905065718/https://github.com/ppedrot
Skip to content
Avatar
60 followers · 0 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx4Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx4Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Organizations

@coq
Block or Report

Block or report ppedrot

Report abuse

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

Report abuse

Popular repositories

  1. kravanenn Public

    A set of tools for Coq written in Rust

    Rust 12 1

  2. ocaml-melt Public

    OCaml 9

  3. lsh-generator Public

    Generate titles of conferences in philosophy!

    OCaml 8 1

  4. ocaml-compactor Public

    Small library to compute maximal sharing of OCaml datastructures.

    OCaml 7

  5. coq-forcing Public

    Tentative implementation of call-by-name forcing in Coq

    Coq 6 2

  6. ll-coq Public

    Some Coq formalizations of Linear Logic

    Coq 4 2

1,683 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

September 2022

Created 2 commits in 1 repository

Created a pull request in coq/coq that received 9 comments

Do not reason up to aliasing in Evarsolve.assoc_up_to_alias.

This particular quirk was introduced by bfefc3f to allegedly solve an issue with the aliasing mechanism that was long forgotten to the mist of time…

+1 −8 • 9 comments
Opened 2 other pull requests in 1 repository
Reviewed 2 pull requests in 1 repository