Commits

Breadcrumbs

History for

ona57559f

User selector

All users

All time

Commit History

Commits on Jun 18, 2023

• feat: port Archive.Imo.Imo2019Q1 (#5211)

  int-y1

  committed
  a57559f

  Copy full SHA for a57559f

• feat: port Archive.Imo.Imo1962Q1 (#5210)

  int-y1

  committed
  d3590a9

  Copy full SHA for d3590a9

• feat: port Archive.Wiedijk100Theorems.SumOfPrimeReciprocalsDiverges (#5208)

  Komyyy

  committed
  1ab29ae

  Copy full SHA for 1ab29ae

• feat: port Archive.Examples.PropEncodable (#5098)

  Show description for 2fc29d2
  

  urkud

  and

  int-y1

  committed
  2fc29d2

  Copy full SHA for 2fc29d2

Commits on Jun 17, 2023

• feat: port Archive.Imo.Imo2013Q1 (#5186)

  Show description for 9c71e3c
  mo271

  committed
  9c71e3c

  Copy full SHA for 9c71e3c

• feat: port Archive.Wiedijk100Theorems.PerfectNumbers (#5184)

  Komyyy

  committed
  9ea47ba

  Copy full SHA for 9ea47ba

• feat: port Archive.Wiedijk100Theorems.Partition (#5173)

  Komyyy

  committed
  f3f3f1c

  Copy full SHA for f3f3f1c

• feat: port Archive.Imo.Imo2008Q4 (#5183)

  Parcly-Taxel

  committed
  43b0433

  Copy full SHA for 43b0433

• feat: port Archive.Imo.Imo1981Q3 (#5185)

  int-y1

  committed
  7359390

  Copy full SHA for 7359390

• feat: port Archive.Imo.Imo2001Q2 (#5182)

  Parcly-Taxel

  committed
  a44696c

  Copy full SHA for a44696c

• feat: port Archive.Wiedijk100Theorems.Konigsberg (#5181)

  Parcly-Taxel

  committed
  d159e97

  Copy full SHA for d159e97

• feat: port Archive.Imo.Imo1975Q1 (#5179)

  Parcly-Taxel

  committed
  92afb19

  Copy full SHA for 92afb19

• feat: port Archive.Wiedijk100Theorems.HeronsFormula (#5177)

  Parcly-Taxel

  committed
  354c44b

  Copy full SHA for 354c44b

• feat: port Archive.Imo.Imo2006Q5 (#5178)

  int-y1

  committed
  5d8d41f

  Copy full SHA for 5d8d41f

• feat: port Archive.Wiedijk100Theorems.InverseTriangleSum (#5172)

  int-y1

  committed
  48f6a19

  Copy full SHA for 48f6a19

• feat: port Archive.Imo.Imo1964Q1 (#5152)

  Show description for 52b3664
  

  mo271

  and

  Parcly-Taxel

  committed
  52b3664

  Copy full SHA for 52b3664

• feat: port Archive.Imo.Imo1960Q1 (#5165)

  int-y1

  committed
  8272d53

  Copy full SHA for 8272d53

• feat: port Archive.Wiedijk100Theorems.AreaOfACircle (#5114)

  Komyyy

  committed
  a71113c

  Copy full SHA for a71113c

• feat: port Archive.Imo.Imo1969Q1 (#5153)

  Parcly-Taxel

  committed
  5ad453c

  Copy full SHA for 5ad453c

• feat: port Archive.Imo.Imo2006Q3 (#5123)

  Show description for ba8fa67
  

  int-y1

  and

  Parcly-Taxel

  committed
  ba8fa67

  Copy full SHA for ba8fa67

Commits on Jun 16, 2023

• feat: port Archive.Imo.Imo2019Q4 (#5149)

  Parcly-Taxel

  committed
  09eab4d

  Copy full SHA for 09eab4d

• feat: port Archive.Imo.Imo1977Q6 (#5131)

  Show description for 2725ab1
  

  int-y1

  and

  jcommelin

  committed
  2725ab1

  Copy full SHA for 2725ab1

• feat: port Archive.Imo.Imo2020Q2 (#5135)

  int-y1

  committed
  80f4047

  Copy full SHA for 80f4047

• feat: port Archive.Imo.Imo1962Q4 (#5130)

  int-y1

  committed
  7530f58

  Copy full SHA for 7530f58

• feat: port Archive.Imo.Imo1994Q1 (#5125)

  int-y1

  committed
  16e3f88

  Copy full SHA for 16e3f88

• feat: port Archive.Imo.Imo2005Q3 (#5118)

  Show description for 4550f82
  mo271

  committed
  4550f82

  Copy full SHA for 4550f82

• feat: port Archive.Imo.Imo1972Q5 (#5090)

  Show description for fbe3333
  

  urkud

  and

  Scott Morrison

  committed
  fbe3333

  Copy full SHA for fbe3333

• feat: port Archive.Imo.Imo2011Q5 (#5095)

  urkud

  committed
  cb9f62f

  Copy full SHA for cb9f62f

Commits on Jun 15, 2023

• feat: port Archive.Imo.Imo2001Q6 (#5096)

  urkud

  committed
  dfe93ed

  Copy full SHA for dfe93ed

• feat: port Archive.Imo.Imo2011Q3 (#5097)

  urkud

  committed
  ce15a88

  Copy full SHA for ce15a88

• feat(ci): add ci for Archive and Counterexamples (#5078)

  Show description for 2f33ff1
  eric-wieser

  committed
  2f33ff1

  Copy full SHA for 2f33ff1

Loading