Skip to content
View obousquet's full-sized avatar
3 followers · 5 following
  • Zürich, Switzerland

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report obousquet

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. verbose-lean4 verbose-lean4 Public

    Forked from PatrickMassot/verbose-lean4

    Natural language tactics to teach mathematics using Lean 4

    Lean

  2. mathlib4 mathlib4 Public

    Forked from leanprover-community/mathlib4

    The math library of Lean 4

    Lean

  3. LeanTeX LeanTeX Public

    Forked from kmill/LeanTeX

    Lean 4 library for pretty printing expressions as LaTeX

    Lean 1

  4. ProofWidgets4 ProofWidgets4 Public

    Forked from leanprover-community/ProofWidgets4

    Helper toolkit for creating your own Lean 4 UserWidgets

    Lean

  5. obousquet.github.io obousquet.github.io Public

    HTML