Skip to content
View deancureton's full-sized avatar
🙃
🙃
38 followers · 36 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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
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 76 1

  2. math-inc/RiemannHypothesisCurves math-inc/RiemannHypothesisCurves Public

    A formal proof of the Riemann Hypothesis for curves

    Lean 40 2

  3. math-inc/KakeyaFiniteFields math-inc/KakeyaFiniteFields Public

    A complete Lean 4 formalization of the Kakeya set problem over finite fields

    Lean 15 2

  4. ufmg-smite/lean-smt ufmg-smite/lean-smt Public

    Tactics for discharging Lean goals into SMT solvers.

    Lean 262 34

  5. snipsmith snipsmith Public

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

    Python

  6. virtual-talkbox virtual-talkbox Public

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

    Python 1