Skip to content
View haoyun's full-sized avatar
🏠
Working from home
🏠
Working from home
36 followers · 105 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

Block or report haoyun

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

Stars

10 stars written in Lean
Clear filter

leanprover / lean4

Lean 4 programming language and theorem prover

Lean 4,922 441 Updated Jan 6, 2025

leanprover-community / mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4

Lean 1,663 298 Updated Jun 28, 2024

leanprover-community / mathlib4

The math library of Lean 4

Lean 1,656 355 Updated Jan 6, 2025

leanprover-community / lean-liquid

💧 Liquid Tensor Experiment

Lean 186 15 Updated Jan 23, 2024

leanprover-community / lftcm2020

Lean for the Curious Mathematician 2020

Lean 64 77 Updated Oct 24, 2023

forked-from-1kasper / lean4-categories

Category Theory & Cobordism Categories in Lean 4

Lean 15 Updated Jun 27, 2024

mariainesdff / norm_extensions

Lean 6 1 Updated Feb 19, 2023

jalex-stark / lean-at-MC2020

Lean 6 7 Updated Aug 1, 2020

RaitoBezarius / berkovich-spaces

Attempt to formalize Berkovich spaces in Lean theorem prover

Lean 4 Updated Aug 18, 2021

mmew-2022 / Riemann_zeta

Defining Riemann zeta function in Lean

Lean 3 Updated Nov 29, 2022