Skip to content

Insights: 3abc/mathlib

Forks

switch to list view
@leanprover-community leanprover-community / mathlib3
@0x-Inf 0x-Inf / mathlib
@101damnations 101damnations / mathlib
@1293045656 1293045656 / mathlib
@3abc 3abc / mathlib
@abentkamp abentkamp / mathlib
@aceg00 aceg00 / mathlib
@acorrenson acorrenson / mathlib
@aestriplex aestriplex / mathlib
@agjftucker agjftucker / mathlib
@ah1112 ah1112 / mathlib
@aigog aigog / mathlib
@AK-Redcross AK-Redcross / mathlib
@alexjbest alexjbest / mathlib
@AlexLee25 AlexLee25 / mathlib
@allenanie allenanie / mathlib
@alreadydone alreadydone / mathlib
@andrew28497711-1 andrew28497711-1 / mathlib
@anthony2698 anthony2698 / mathlib
@AntoineChambert-Loir AntoineChambert-Loir / mathlib
@apollohuang1 apollohuang1 / mathlib
@aqjune aqjune / mathlib
@AtnNn AtnNn / mathlib
@avigad avigad / mathlib
@awainverse awainverse / mathlib
@ayush1801 ayush1801 / mathlib
@b-mehta b-mehta / mathlib
@bacaimano bacaimano / mathlib
@BarinderBanwait BarinderBanwait / mathlib
@benjamindavidson benjamindavidson / mathlib
@benjeffers benjeffers / mathlib
@bentoner bentoner / mathlib
@beyonddream-productions beyonddream-productions / mathlib
@Biiiilly Biiiilly / mathlib
@Bioye97 Bioye97 / mathlib
@boboquack boboquack / mathlib
@BoltonBailey BoltonBailey / mathlib
@bottine bottine / mathlib
@bragadeesh153 bragadeesh153 / mathlib
@bryangingechen bryangingechen / mathlib
@butterthebuddha butterthebuddha / mathlib
@callum-sutton callum-sutton / mathlib
@Captainkk75 Captainkk75 / mathlib
@Cedric0099 Cedric0099 / mathlib
@cemulate cemulate / mathlib
@ChandanKSingh ChandanKSingh / mathlib
@chenjulang chenjulang / mathlib
@cheraghchi cheraghchi / mathlib
@chirag2796 chirag2796 / mathlib
@ChrisHughes24 ChrisHughes24 / mathlib
@uniformity1 uniformity1 / mathlib
@cipher1024 cipher1024 / mathlib
@CohenCyril CohenCyril / mathlib
@collares collares / mathlib
@dan-c-k dan-c-k / mathlib
@Daniel-Packer Daniel-Packer / mathlib_knot_theory
@kisonecat kisonecat / mathlib_knot_theory
@DanielFabian DanielFabian / mathlib
@dellkeji dellkeji / mathlib
@dexmagic dexmagic / mathlib
@dignissimus dignissimus / mathlib
@dlzeng243 dlzeng243 / mathlib
@dsanjen dsanjen / mathlib
@dselsam dselsam / mathlib
@dupuisf dupuisf / mathlib
@dwrensha dwrensha / mathlib
@ecstatic-morse ecstatic-morse / mathlib
@EdAyers EdAyers / mathlib
@egsgaard egsgaard / mathlib
@eric-wieser eric-wieser / mathlib
@ericluap ericluap / mathlib
@faabian faabian / mathlib
@fabian-kruse fabian-kruse / mathlib
@fgdorais fgdorais / mathlib
@flypitch flypitch / mathlib
@fpvandoorn fpvandoorn / mathlib
@FredericLeRoux FredericLeRoux / mathlib
@fzyzcjy fzyzcjy / mathlib
@gebner gebner / mathlib
@geektype geektype / mathlib
@Girgias Girgias / mathlib
@Groverkss Groverkss / mathlib
@grwgrvs grwgrvs / mathlib
@guberti guberti / mathlib
@hamdysalah1 hamdysalah1 / mathlib
@hans0000 hans0000 / mathlib
@helohe helohe / mathlib
@HGldJ1966 HGldJ1966 / mathlib
@hikari0108 hikari0108 / mathlib
@holtzermann17 holtzermann17 / mathlib
@HongxiaoL HongxiaoL / mathlib3
@huynhtrankhanh huynhtrankhanh / mathlib
@ilitzroth ilitzroth / mathlib
@itaibn itaibn / mathlib
@Jack-Pumpkinhead Jack-Pumpkinhead / mathlib
@jalex-stark jalex-stark / mathlib
@James-REANNZ James-REANNZ / mathlib
@jamestiotio jamestiotio / leanprover-mathlib
@JaredCorduan JaredCorduan / mathlib
@jasonjo97 jasonjo97 / mathlib
@javra javra / mathlib
@jcommelin jcommelin / mathlib
@jdsalchow jdsalchow / mathlib
@jean002 jean002 / mathlib
@jeremy9959 jeremy9959 / mathlib
@jesse-michael-han jesse-michael-han / mathlib
@jessetvogel jessetvogel / mathlib-representation-theory
@jjaassoonn jjaassoonn / snake-lemma
@jjgarzella jjgarzella / mathlib
@Jlh18 Jlh18 / mathlib
@jmvlangen jmvlangen / mathlib
@joehendrix joehendrix / mathlib
@joewatt95 joewatt95 / mathlib
@johoelzl johoelzl / mathlib
@jonaslippert jonaslippert / mathlib
@jonathanvoelkle jonathanvoelkle / mathlib
@jpablo jpablo / mathlib
@jpburelle jpburelle / mathlib
@jscarfy jscarfy / mathlib
@jsm28 jsm28 / mathlib
@kb1015 kb1015 / mathlib
@jtbarker jtbarker / mathlib
@jtristan jtristan / mathlib
@jumpy4 jumpy4 / mathlib
@jupitorcuu jupitorcuu / mathlib
@karthiknadig karthiknadig / mathlib
@kckennylau kckennylau / mathlib
@keeferrowan keeferrowan / mathlib
@Kha Kha / stdlib
@khmacdonald khmacdonald / mathlib
@khoek khoek / mathlib
@kim-em kim-em / mathlib
@kmill kmill / mathlib
@Knaoinr Knaoinr / mathlib-descartes-rule-of-signs
@kodyvajjha kodyvajjha / mathlib
@kristychoi kristychoi / mathlib
@lacker lacker / mathlib
@laughinggas laughinggas / mathlib
@leanprover-fork leanprover-fork / mathlib-backup
@5HT 5HT / mathlib
@amswerdlow amswerdlow / mathlib
@sebzim4500 sebzim4500 / mathlib
@lecopivo lecopivo / mathlib
@LeeSandberg LeeSandberg / mathlib
@leon-volq leon-volq / mathlib
@leon2k2k2k leon2k2k2k / mathlib
@Lev-Stambler Lev-Stambler / mathlib-clustering
@linpingchuan linpingchuan / mathlib
@listato listato / mathlib
@liuyf0188 liuyf0188 / mathlib
@Lix0120 Lix0120 / mathlib
@loewenheim loewenheim / mathlib
@louisanu louisanu / mathlib
@Lss1242 Lss1242 / mathlib
@lukenels lukenels / mathlib
@MaboroshiChan MaboroshiChan / mathlib
@madvorak madvorak / mathlib
@mans0954 mans0954 / mathlib
@mapehe mapehe / mathlib
@marco-dossantos marco-dossantos / mathlib
@MartinSkilleter MartinSkilleter / mathlib
@mateoatr mateoatr / mathlib
@matt-kempster matt-kempster / mathlib
@mattearnshaw mattearnshaw / mathlib
@matthew-hilty matthew-hilty / mathlib
@mcncm mcncm / mathlib
@Mel-TunaRoll Mel-TunaRoll / mathlib
@mgrabovsky mgrabovsky / mathlib
@mgubi mgubi / mathlib
@michaellee94 michaellee94 / mathlib
@midfield midfield / mathlib
@minchaowu minchaowu / mathlib
@MithicSpirit MithicSpirit / mathlib
@mjendrusch mjendrusch / mathlib
@mmew-2022 mmew-2022 / mathlib
@mo271 mo271 / mathlib
@moenarch moenarch / mathlib
@molodiuc molodiuc / mathlib
@MonoidMusician MonoidMusician / mathlib
@mortarsanjaya mortarsanjaya / mathlib
@muhammadmanji muhammadmanji / mathlib
@mzinkevi mzinkevi / mathlib
@naussicaa naussicaa / mathlib
@NeilStrickland NeilStrickland / mathlib
@ngamt ngamt / mathlib
@NicholasDyson NicholasDyson / mathlib
@nielsvoss nielsvoss / mathlib
@NormonisPing NormonisPing / mathlib
@ntzwq ntzwq / mathlib
@ocornoc ocornoc / mathlib
@OHIHIYA20 OHIHIYA20 / mathlib
@oxarbitrage oxarbitrage / mathlib
@OxCS-22-Group-16 OxCS-22-Group-16 / feat-max_flow_min_cut
@Panos-Jr Panos-Jr / mathlib
@PatrickMassot PatrickMassot / mathlib
@Paul-Lez Paul-Lez / olympiad_formalization
@PaulGustafson PaulGustafson / mathlib
@paulvanwamelen paulvanwamelen / mathlib
@pechersky pechersky / mathlib
@petari52 petari52 / mathlib
@PhDP PhDP / mathlib
@pimsp pimsp / mathlib
@pnmadelaine pnmadelaine / mathlib-norm-cast
@Pratyush Pratyush / mathlib
@ProofsAsPrograms ProofsAsPrograms / mathlib
@QMcGuire QMcGuire / mathlib
@quinnculver quinnculver / mathlib
@qz-cqy qz-cqy / mathlib
@rahul3613 rahul3613 / mathlib
@RaitoBezarius RaitoBezarius / mathlib
@ramonfmir ramonfmir / mathlib
@ratmice ratmice / mathlib
@rayalois22 rayalois22 / mathlib
@RexWzh RexWzh / mathlib
@rgreenblatt rgreenblatt / mathlib
@rhjs-uoe rhjs-uoe / lean-mathlib
@rish987 rish987 / mathlib
@rmitta rmitta / mathlib
@rmnshelest rmnshelest / mathlib
@robertylewis robertylewis / mathlib
@roro47 roro47 / mathlib
@rosborn rosborn / mathlib
@rspencer01 rspencer01 / mathlib
@Ruben-VandeVelde Ruben-VandeVelde / mathlib
@rwbarton rwbarton / mathlib
@SAAluthwela SAAluthwela / mathlib
@SaHaddad SaHaddad / mathlib
@sanderdahmen sanderdahmen / mathlib
@schweinchen1999 schweinchen1999 / mathlib
@seanpm2001 seanpm2001 / LeanProver-Community_MathLIB
@Sebastian-Monnet Sebastian-Monnet / mathlib
@SebastianMonnet SebastianMonnet / mathlib
@sflicht sflicht / mathlib
@SG4316 SG4316 / mathlib
@sgouezel sgouezel / mathlib
@Shamrock-Frost Shamrock-Frost / mathlib
@Shimonschlessinger Shimonschlessinger / mathlib
@shyamalschandra shyamalschandra / mathlib
@sidprasad sidprasad / mathlib
@siegelzero siegelzero / mathlib
@simon-pepin simon-pepin / mathlib
@sivecow sivecow / mathlib
@slel slel / mathlib
@slerpyyy slerpyyy / mathlib
@smoonthsky smoonthsky / mathlib3
@Solertis Solertis / mathlib
@sorawee sorawee / mathlib
@spapinistarkware spapinistarkware / mathlib
@spl spl / mathlib
@spolu spolu / mathlib
@standardgalactic standardgalactic / mathlib
@stjordanis stjordanis / mathlib
@SuccessMoses SuccessMoses / mathlib3
@Sujingqiao Sujingqiao / mathlib3
@superty superty / mathlib
@swapnilkapoor22 swapnilkapoor22 / mathlib
@SzJS SzJS / mathlib
@thejohncrafter thejohncrafter / mathlib
@thjread thjread / mathlib
@timotree3 timotree3 / mathlib
@Tiz712 Tiz712 / mathlib
@tobiasgrosser tobiasgrosser / mathlib
@tomaz1502 tomaz1502 / mathlib
@troyjlee troyjlee / mathlib
@tryggth tryggth / mathlib
@twoquarterrican twoquarterrican / mathlib
@tyleg123 tyleg123 / mathlib3
@UofSC-Fall-2022-Math-300-H01 UofSC-Fall-2022-Math-300-H01 / mathlib
@urkud urkud / mathlib
@utensil-contrib utensil-contrib / mathlib
@vaibhavkarve vaibhavkarve / mathlib
@Vierkantor Vierkantor / mathlib
@Vilin97 Vilin97 / mathlib
@VladNicolaescu VladNicolaescu / mathlib
@vozor vozor / mathlib
@Vtec234 Vtec234 / mathlib
@waynemunro waynemunro / mathlib
@williamdemeo williamdemeo / mathlib
@winestone winestone / mathlib
@xgenereux xgenereux / mathlib
@xiaoxin-yin xiaoxin-yin / mathlib
@xiw xiw / mathlib
@Yangdx02 Yangdx02 / mathlib
@yashen32768 yashen32768 / mathlib
@yinxx yinxx / mathlib
@YJMD YJMD / mathlib
@YulinWu YulinWu / leanprover_mathlib
@yuma-mizuno yuma-mizuno / mathlib
@z1258 z1258 / mathlib
@zeramorphic zeramorphic / mathlib
@Zetagon Zetagon / mathlib