Skip to content
View urkud's full-sized avatar
42 followers · 1 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Organizations

@leanprover-community

Block or report urkud

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

Showing results

leanprover-community / sphere-eversion

Formalization of the existence of sphere eversions

Lean 36 10 Updated Oct 7, 2024

leanprover / doc-gen4

Document Generator for Lean 4

Lean 63 41 Updated Oct 3, 2024

leanprover-community / aesop

White-box automation for Lean 4

Lean 198 26 Updated Oct 8, 2024

leanprover-community / batteries

The "batteries included" extended library for the Lean programming language and theorem prover

Lean 242 101 Updated Oct 14, 2024

leanprover-community / lean4-mode

Emacs major mode for Lean 4

Emacs Lisp 66 28 Updated Aug 19, 2024

leanprover-community / mathlib4

The math library of Lean 4

Lean 1,458 319 Updated Oct 14, 2024

Shamrock-Frost / BrouwerFixedPoint

Lean 13 2 Updated Jul 18, 2024

leanprover-community / mathlib3

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

Lean 1,667 298 Updated Jun 28, 2024

NixOS / nixpkgs

Nix Packages collection & NixOS

Nix 17,776 13,889 Updated Oct 14, 2024