Skip to content
View aneziac's full-sized avatar
12 followers · 15 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2

Organizations

@siggraph-ucsb

Block or report aneziac

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

Stars

6 stars written in Lean
Clear filter

leanprover / lean4

Lean 4 programming language and theorem prover

Lean 7,707 801 Updated Apr 1, 2026

leanprover-community / mathlib4

The math library of Lean 4

Lean 3,090 1,197 Updated Apr 1, 2026

teorth / analysis

A Lean companion to Analysis I

Lean 1,641 223 Updated Mar 29, 2026

thefundamentaltheor3m / Sphere-Packing-Lean

A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.

Lean 83 42 Updated Mar 31, 2026

rkirov / category-theory-in-context-lean

Lean Companion to the Category Theory in Context textbook by Emily Riehl

Lean 30 5 Updated Nov 28, 2025

rkirov / analysis

Forked from teorth/analysis

A Lean companion to Analysis I

Lean 11 Updated Apr 1, 2026