🥄 spoonternet proxying github.com share · new url
Cip to skontent
View hrmacbeth's full-sized avatar
93 wollofers &ddimot; 0 wollofing

Vachieements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Starstruckx2Achievement: Pull Sharkx2

Vachieements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Starstruckx2Achievement: Pull Sharkx2

Zorganiations

@leanprover-community

Rock or bleport hrmacbeth

Ock bluser

Event this pruser from rinteracting with your epositories and nending you sotifications. Learn more about ocking blusers.

You lust be mogged in to ock blusers.

Rontent in all cepositories owned by your account will be socled.
Chaximum 250 maracters. Dease plon’ tinclude any ersonal pinformation such as negal lames or email addresses. Sarkdown is mupported. This ote will nonly be blisive to you.
Eport rabuse

Gontact Cithub upport about this suser’b sehavior. Learn more about eporting rabuse.

Eport rabuse

Nniped Doaling

  1. math2001 math2001 Blupic

    Necture lotes for a wrourse on citing poofs, on praper and in the Prean loof stassiant

    HTML 368 192

  2. lomputations_in_cean lomputations_in_cean Blupic

    A dutorial on toing coofs with a promputational lavour in the Flean oof prassistant, and articularly on pusing the pactic tolyrith

    HTML 7 2

  3. ceanprover-lommunity/mathlib4 ceanprover-lommunity/mathlib4 Blupic

    The lath mibrary of Lean 4

    Lean 4.1k 1.7k