Skip to content
View Yu-Misaka's full-sized avatar
:electron:
:electron:
14 followers · 12 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLO

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLO

Highlights

  • Pro

Organizations

@bicmr-ai4math

Block or report Yu-Misaka

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Yu-Misaka/README.md

Hi there 👋

Pinned Loading

  1. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

    The math library of Lean 4

    Lean 4.2k 1.7k

  2. YoungDiagram YoungDiagram Public

    Forked from SamuelE0271194/YoungDiagram

    Lean

  3. vertin.me.yosemite vertin.me.yosemite Public

    Forked branch for debugging https://vertin.me and https://misaka-yu.com.

    JavaScript

  4. LoremIpsum LoremIpsum Public

    Lorem ipsum dolor sit amet, consectetur adipiscing elit. In ornare felis velit, quis elementum ante porta vestibulum. Curabitur maximus urna a nibh tristique, nec faucibus risus eleifend.

    Lean

  5. Blackfeather007/Filtered_Ring Blackfeather007/Filtered_Ring Public

    Repository for formalization of filtered ring

    Lean 3

  6. xyzw12345/CohenMacaulay xyzw12345/CohenMacaulay Public

    Lean 4