Skip to content
View vyorkin's full-sized avatar
✨
*_*
✨
*_*
243 followers · 62 following

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Organizations

@NixOS @vyorkin-personal @vyorkin-forks @vyorkin-archive @vyorkin-play

Block or report vyorkin

Report abuse

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

Report abuse
vyorkin/README.md

Pinned Loading

  1. analysis analysis Public

    Forked from teorth/analysis

    A Lean companion to Analysis I. ��ешения и трансцендентальный конспект-размышление.

    Lean

  2. mil mil Public

    Working through Mathematics in lean

    Lean

  3. fm2024 fm2024 Public

    Мой трансцендентальный и трансцендентный конспект-размышление ко к кук курсу по линю из иперского колледжа Лондонского.

    Lean

  4. tpil4 tpil4 Public

    Working through Theorem proving in Lean 4

    Lean

  5. mech mech Public

    Forked from hrmacbeth/math2001

    Это мех, братан.

    HTML

  6. demidovich demidovich Public

    Старый добрый (иногда злой) Демидович, на Lean 4.

    Lean