Skip to content
View Ruben-VandeVelde's full-sized avatar
💭
Not reading github notifications; catch me on zulip
💭
Not reading github notifications; catch me on zulip
12 followers · 0 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx2

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx2

Block or report Ruben-VandeVelde

Report abuse

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

Report abuse

Popular repositories Loading

  1. flt flt Public

    Lean 1

  2. flt4 flt4 Public

    Lean 1

  3. mathlib mathlib Public

    Forked from leanprover-community/mathlib3

    Lean mathematical components library

    Lean

  4. premathlib premathlib Public

    Lean

  5. elan elan Public

    Forked from leanprover/elan

    A Lean version manager

    Rust

  6. algebra-i algebra-i Public

    Lean