Skip to content
View kim-em's full-sized avatar
477 followers · 1 following

Achievements

Achievement: Starstruckx2Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Starstruckx2Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Block or report kim-em

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 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

Popular repositories Loading

  1. lean-zip lean-zip Public

    Lean 80 6

  2. lean-training-data lean-training-data Public

    Lean 61 17

  3. lean-category-theory lean-category-theory Public archive

    An experimental category theory library for Lean

    Lean 51 10

  4. KnuthClaudeLean KnuthClaudeLean Public

    Lean 4 formalization of Knuth's 'Claude's Cycles' paper

    Lean 11 1

  5. lean-tidy lean-tidy Public archive

    Lean 8 5

  6. lean-zstd lean-zstd Public

    Lean 4 Zstandard (RFC 8878) decompression: C FFI bindings and pure-Lean implementation with formal proofs

    Lean 7