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

Organizations

@bicmr-ai4math

Block or report Yu-Misaka

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
Yu-Misaka/README.md

Hi there 👋

Pinned Loading

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

    The math library of Lean 4

    Lean 2.7k 969

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

  3. Blackfeather007/Filtered_Ring Blackfeather007/Filtered_Ring Public

    Repository for formalization of filtered ring

    Lean 3

  4. mbkybky/KoszulComplex mbkybky/KoszulComplex Public

    Lean 5 2

  5. vertin.me vertin.me Public

    Forked from MoXiaoXi233/PureSuck-theme

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

    PHP

  6. xyzw12345/CohenMacaulay xyzw12345/CohenMacaulay Public

    Lean 4