Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 22, 2023

• more opam keywords (MCA-dev meeting of 2023-12-21) (math-comp#1125)

  Show description for 1263112
  affeldt-aist

  authored
  1263112

  Copy full SHA for 1263112

Commits on Dec 21, 2023

• ae_eq lemmas (math-comp#1110)

  Show description for 316b42b
  

  IshiguroYoshihiro

  and

  affeldt-aist

  authored
  316b42b

  Copy full SHA for 316b42b

Commits on Dec 14, 2023

• Hardy littlewood (math-comp#995)

  Show description for 75c6d89
  affeldt-aist

  authored
  75c6d89

  Copy full SHA for 75c6d89

Commits on Dec 7, 2023

• Adapt to math-comp/math-comp#1131

  

  pi8027

  authored and

  proux01

  committed
  9119ba1

  Copy full SHA for 9119ba1

Commits on Dec 5, 2023

• doc

  

  affeldt-aist

  authored and

  proux01

  committed
  9350a49

  Copy full SHA for 9350a49

• cvg lemmas for fun

  

  affeldt-aist

  authored and

  proux01

  committed
  bbd800c

  Copy full SHA for bbd800c

Commits on Nov 17, 2023

• Fixes 20231117 (math-comp#1106)

  Show description for 5375673
  affeldt-aist

  authored
  5375673

  Copy full SHA for 5375673

Commits on Nov 14, 2023

• Alexandroff-Hausdorff Theorem and the Cantor Space (math-comp#834)

  Show description for c518e2a
  

  zstone1

  and

  affeldt-aist

  authored
  c518e2a

  Copy full SHA for c518e2a

• changelog for version 0.6.6 (math-comp#1095)

  Show description for 1d41dfe
  affeldt-aist

  authored
  1d41dfe

  Copy full SHA for 1d41dfe

• tentative formalization of Vitali's theorem (math-comp#984)

  Show description for e9e0b81
  

  affeldt-aist

  and

  zstone1

  authored
  e9e0b81

  Copy full SHA for e9e0b81

Commits on Nov 13, 2023

• easy lemmas (math-comp#1090)

  Show description for 1d1d9bf
  

  affeldt-aist

  and

  hoheinzollern

  authored
  1d1d9bf

  Copy full SHA for 1d1d9bf

• fixes math-comp#1064 (math-comp#1091)

  affeldt-aist

  authored
  d4a2277

  Copy full SHA for d4a2277

• Minkowski (math-comp#1000)

  Show description for d7cdecc
  hoheinzollern

  authored
  d7cdecc

  Copy full SHA for d7cdecc

Commits on Nov 10, 2023

• Adapt to coq/coq#18224

  proux01

  committed
  0a519a8

  Copy full SHA for 0a519a8

• expeR (math-comp#1047)

  Show description for f95786b
  hoheinzollern

  authored
  f95786b

  Copy full SHA for f95786b

• fixes math-comp#1052 (math-comp#1085)

  affeldt-aist

  authored
  34b4b0b

  Copy full SHA for 34b4b0b

Commits on Nov 9, 2023

• tentative formalization of Vitali's lemma (math-comp#973)

  Show description for 94d93cc
  affeldt-aist

  authored
  94d93cc

  Copy full SHA for 94d93cc

• Fixes 20231108 (math-comp#1081)

  Show description for 8d00204
  affeldt-aist

  authored
  8d00204

  Copy full SHA for 8d00204

Commits on Nov 6, 2023

• Radon nikodym cscale (math-comp#1076)

  Show description for 99f98a0
  

  IshiguroYoshihiro

  and

  affeldt-aist

  authored
  99f98a0

  Copy full SHA for 99f98a0

Commits on Nov 1, 2023

• Chernoff bound (math-comp#1053)

  Show description for c8adb03
  

  hoheinzollern

  and

  affeldt-aist

  authored
  c8adb03

  Copy full SHA for c8adb03

• Monotonicity lemmas for norms (math-comp#1060)

  Show description for 3ebe91a
  

  hoheinzollern

  and

  affeldt-aist

  authored
  3ebe91a

  Copy full SHA for 3ebe91a

Commits on Oct 30, 2023

• fixes math-comp#1051 (rename lim_sup -> limn_sup) (math-comp#1068)

  Show description for 270c4c4
  affeldt-aist

  authored
  270c4c4

  Copy full SHA for 270c4c4

Commits on Oct 26, 2023

• rm Idioms (math-comp#1070)

  affeldt-aist

  authored
  b1a0e33

  Copy full SHA for b1a0e33

Commits on Oct 24, 2023

• Adapt to math-comp/math-comp#1052

  proux01

  committed
  f37595d

  Copy full SHA for f37595d

Commits on Oct 23, 2023

• Lebesgue Stieltjes measure (math-comp#677)

  Show description for 204edd9
  

  3 peopleauthored
  204edd9

  Copy full SHA for 204edd9

Commits on Oct 20, 2023

• New notations of negative/positive_set (math-comp#1062)

  Show description for 5703751
  

  IshiguroYoshihiro

  and

  affeldt-aist

  authored
  5703751

  Copy full SHA for 5703751

Commits on Oct 15, 2023

• fixes math-comp#1056 (math-comp#1057)

  affeldt-aist

  authored
  49f074a

  Copy full SHA for 49f074a

• negligible_bigcup (math-comp#1058)

  affeldt-aist

  authored
  7c375d8

  Copy full SHA for 7c375d8

Commits on Oct 11, 2023

• Adapt to coq/coq#18014

  proux01

  committed
  d0462b2

  Copy full SHA for d0462b2

• charge factory (math-comp#1008)

  Show description for 4fea13f
  

  IshiguroYoshihiro

  and

  affeldt-aist

  authored
  4fea13f

  Copy full SHA for 4fea13f

Commits on Oct 10, 2023

• fixes math-comp#1049 (math-comp#1050)

  Show description for cfd9375
  affeldt-aist

  authored
  cfd9375

  Copy full SHA for cfd9375

Commits on Oct 9, 2023

• fixes math-comp#1046

  

  affeldt-aist

  authored and

  proux01

  committed
  86915bf

  Copy full SHA for 86915bf

• fixes math-comp#1045

  

  affeldt-aist

  authored and

  proux01

  committed
  41d3ca5

  Copy full SHA for 41d3ca5

• fixes math-comp#1037

  Show description for 5645d6f
  

  2 peopleauthored and

  proux01

  committed
  5645d6f

  Copy full SHA for 5645d6f

• fixes math-comp#1042

  

  affeldt-aist

  authored and

  proux01

  committed
  7b26525

  Copy full SHA for 7b26525

Pagination

Previous

Next