Skip to content
View sgouezel's full-sized avatar

Block or report sgouezel

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. natural_number_game natural_number_game Public

    Forked from ImperialCollegeLondon/natural_number_game

    Building the natural numbers in Lean.

    Lean 1

  2. numpy numpy Public

    Forked from numpy/numpy

    Numpy main repository

    C

  3. BRiAl BRiAl Public

    Forked from BRiAl/BRiAl

    Successor to PolyBoRi

    C++

  4. mathlib mathlib Public

    Forked from leanprover-community/mathlib3

    Lean mathematical components library

    Lean

  5. vscode-lean vscode-lean Public

    Forked from leanprover/vscode-lean

    An extension for VS Code which provides support for the Lean language.

    TypeScript

  6. pfr pfr Public

    Forked from teorth/pfr

    Lean