Commits

Breadcrumbs

History for

on0be5ab0

User selector

All users

All time

Commit History

Commits on Jan 31, 2024

• feat: formalize IMO 1960 Q2 (#9885)

  urkud

  committed
  0a0bb6e

  Copy full SHA for 0a0bb6e

• feat: formalize IMO 1986 Q5 (#9891)

  urkud

  committed
  45b2ed1

  Copy full SHA for 45b2ed1

Commits on Jan 30, 2024

• feat: formalize IMO 1959 Q2 (#9884)

  urkud

  committed
  5876928

  Copy full SHA for 5876928

Commits on Dec 27, 2023

• archive: smooth functions whose integral calculates the values of polynomials (#9138)

  Show description for 98e2ce2
  

  5 peoplecommitted
  98e2ce2

  Copy full SHA for 98e2ce2

Commits on Nov 5, 2023

• feat: a solution to if-normalization (#8035)

  Show description for 37eb068
  

  kim-em

  and

  ChrisHughes24

  authored
  37eb068

  Copy full SHA for 37eb068

Commits on Sep 2, 2023

• feat: Zagier's "one-sentence proof" of Fermat's theorem on sums of two squares (#6629)

  Parcly-Taxel

  committed
  1cd61aa

  Copy full SHA for 1cd61aa

Commits on Jul 10, 2023

• feat: port Archive.Imo.Imo2005Q4 (#5094)

  Show description for 75ae883
  

  urkud

  and

  jcommelin

  committed
  75ae883

  Copy full SHA for 75ae883

Commits on Jul 4, 2023

• feat: port Archive.Examples.MersennePrimes (#5704)

  Show description for 69ef6f5
  

  3 peoplecommitted
  69ef6f5

  Copy full SHA for 69ef6f5

• feat: port Archive.OxfordInvariants.2021summer.Week3P1 (#5705)

  Show description for a3a2bc4
  

  3 peoplecommitted
  a3a2bc4

  Copy full SHA for a3a2bc4

Commits on Jul 3, 2023

• feat: port Archive.Imo.Imo2008Q2 (#5206)

  Show description for be66345
  

  int-y1

  and

  jcommelin

  committed
  be66345

  Copy full SHA for be66345

• feat: port Archive.Imo.Imo1998Q2 (#5157)

  Show description for db9fb24
  

  mo271

  and

  Parcly-Taxel

  committed
  db9fb24

  Copy full SHA for db9fb24

Commits on Jun 30, 2023

• feat: port Archive.Imo.Imo1988Q6 (#5608)

  int-y1

  committed
  aa77a31

  Copy full SHA for aa77a31

Commits on Jun 29, 2023

• feat: port Archive.Arithcc (#5595)

  Parcly-Taxel

  committed
  b2f1e71

  Copy full SHA for b2f1e71

• feat: port Archive.Imo.Imo2019Q2 (#5573)

  Parcly-Taxel

  committed
  4839558

  Copy full SHA for 4839558

Commits on Jun 26, 2023

• feat: port Archive.Imo.Imo2008Q3 (#5484)

  Parcly-Taxel

  committed
  b956b63

  Copy full SHA for b956b63

• feat: port Archive.MiuLanguage.DecisionSuf (#5475)

  int-y1

  committed
  29eff09

  Copy full SHA for 29eff09

• feat: port Archive.MiuLanguage.DecisionNec (#5472)

  int-y1

  committed
  8b188ce

  Copy full SHA for 8b188ce

Commits on Jun 25, 2023

• feat: port Archive.MiuLanguage.Basic (#5214)

  int-y1

  committed
  b688e1a

  Copy full SHA for b688e1a

Commits on Jun 24, 2023

• feat: port Archive.Wiedijk100Theorems.AbelRuffini (#5457)

  Show description for 21fb5ac
  

  Parcly-Taxel

  and

  Ruben-VandeVelde

  committed
  21fb5ac

  Copy full SHA for 21fb5ac

• feat: port Archive.Sensitivity (#5322)

  Komyyy

  committed
  d254056

  Copy full SHA for d254056

Commits on Jun 21, 2023

• feat: port Archive.Wiedijk100Theorems.BallotProblem (#5204)

  Show description for f52efae
  

  int-y1

  and

  mo271

  committed
  f52efae

  Copy full SHA for f52efae

Commits on Jun 20, 2023

• feat: port Archive.Wiedijk100Theorems.BirthdayProblem (#5199)

  Show description for 7c48439
  

  3 peoplecommitted
  7c48439

  Copy full SHA for 7c48439

Commits on Jun 19, 2023

• feat: port Archive.Wiedijk100Theorems.FriendshipGraphs (#5189)

  Show description for a498c7c
  

  Komyyy

  and

  Parcly-Taxel

  committed
  a498c7c

  Copy full SHA for a498c7c

• feat: port Archive.Wiedijk100Theorems.CubingACube (#5201)

  Show description for cc29b55
  

  int-y1

  and

  Parcly-Taxel

  committed
  cc29b55

  Copy full SHA for cc29b55

• feat: port Archive.Wiedijk100Theorems.SolutionOfCubic (#5203)

  int-y1

  committed
  2ff3402

  Copy full SHA for 2ff3402

• feat: port Archive.Imo.Imo1987Q1 (#5091)

  Show description for 3eb0bc2
  

  urkud

  and

  eric-wieser

  committed
  3eb0bc2

  Copy full SHA for 3eb0bc2

• feat: port Archive.Imo.Imo2013Q5 (#5226)

  Parcly-Taxel

  committed
  3a626dd

  Copy full SHA for 3a626dd

• feat: port Archive.Imo.Imo2021Q1 (#5221)

  int-y1

  committed
  fc19812

  Copy full SHA for fc19812

• feat: port Archive.Wiedijk100Theorems.AscendingDescendingSequences (#5212)

  Show description for 834c421
  

  Komyyy

  and

  jcommelin

  committed
  834c421

  Copy full SHA for 834c421

• feat: port Archive.Imo.Imo1959Q1 (#5089)

  Show description for 6bb051e
  

  4 peoplecommitted
  6bb051e

  Copy full SHA for 6bb051e

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

Pagination

Previous

Next