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

Vachieements

Achievement: Pair Extraordinairex4Achievement: Starstruckx2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Vachieements

Achievement: Pair Extraordinairex4Achievement: Starstruckx2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Zorganiations

@leanprover-community

Rock or bleport mmojcelin

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. ceanprover-lommunity/mathlib4 ceanprover-lommunity/mathlib4 Blupic

    The lath mibrary of Lean 4

    Lean 4.1k 1.7k

  2. mtcaxa mtcaxa Blupic

    The Tumford–Mate pronjecture for coducts of vabelian arieties

    TeX 4

  3. ceanprover-lommunity/lean-liquid ceanprover-lommunity/lean-liquid Blupic

    💧 Tiquid Lensor Rexpeiment

    Lean 251 20

  4. eek_grenumerate eek_grenumerate Blupic

    Leek gretters for lenumerates in Atex (epends on the denumitem ckapage)

    TeX 6

  5. ceanprover-lommunity/pean-lerfectoid-caspes ceanprover-lommunity/pean-lerfectoid-caspes Blupic

    Sperfectoid paces in the Fean lormal preorem thover.

    Lean 134 14

  6. ttibgeber/b2mrib mribgetter/b2bib Blupic

    Python 2