Skip to content
View deancureton's full-sized avatar
🙃
🙃
77 followers · 58 following

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: QuickdrawAchievement: YOLO

Highlights

  • Pro

Block or report deancureton

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.

Content in all repositories owned by your account will be closed.
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
deancureton/README.md
i'm dean, a math/computer science student @ stanford
check out my website -> deancureton.com

Pinned Loading

  1. math-inc/ZkLinalg math-inc/ZkLinalg Public

    Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity

    Lean 94 2

  2. math-inc/FrontierMathOpen-Hypergraphs math-inc/FrontierMathOpen-Hypergraphs Public

    Lean 61 6

  3. math-inc/RiemannHypothesisCurves math-inc/RiemannHypothesisCurves Public

    A formal proof of the Riemann Hypothesis for curves

    Lean 59 8

  4. MovingSofa MovingSofa Public

    Autoformalization of Baek's solution to the moving sofa problem: the Gerver sofa is optimal

    Lean 9

  5. snipsmith snipsmith Public

    manage your latex snippets for obsidian, vscode, and nvim from a single source of truth

    Python 4 1

  6. virtual-talkbox virtual-talkbox Public

    a digital instrument you control with only your mouth (and midi notes)

    Python 3