Skip to content
View e-271828's full-sized avatar

Block or report e-271828

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. test01 test01 Public

    This is a test project.

  2. mathlib4 mathlib4 Public

    Forked from leanprover-community/mathlib4

    The math library of Lean 4

    Lean

  3. riemann-von-mangoldt-formalized riemann-von-mangoldt-formalized Public

    Formal proof of the Riemann-von Mangoldt formula for the Riemann zeta function in Lean 4. Achieved without relying on automated tactics (like grind/aesop) for rigorous analytic continuations, singu…

    Lean