Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 19, 2024

• memo

  affeldt-aist

  committed
  98b3578

  Copy full SHA for 98b3578

• compatibility with HB 1.8.0

  affeldt-aist

  committed
  f13c755

  Copy full SHA for f13c755

• upd meta (#134)

  affeldt-aist

  authored
  6e4c10b

  Copy full SHA for 6e4c10b

• upd to MathComp 2.3.0

  affeldt-aist

  committed
  fe0d6de

  Copy full SHA for fe0d6de

Commits on Nov 29, 2024

• rm dev from meta

  affeldt-aist

  committed
  1469b90

  Copy full SHA for 1469b90

• compact with mathcomp-analysis 1.7.0 (#132)

  Show description for 96396c4
  affeldt-aist

  authored
  96396c4

  Copy full SHA for 96396c4

Commits on Oct 25, 2024

• changelog

  affeldt-aist

  committed
  96bca60

  Copy full SHA for 96bca60

• opt memory usage in example

  affeldt-aist

  committed
  856bd63

  Copy full SHA for 856bd63

Commits on Oct 24, 2024

• compatibility with Coq 8.20 (#131)

  Show description for 58d8e62
  affeldt-aist

  authored
  58d8e62

  Copy full SHA for 58d8e62

Commits on Jul 13, 2024

• tweaks (#125)

  hoheinzollern

  authored
  5a1e1cb

  Copy full SHA for 5a1e1cb

Commits on Jul 11, 2024

• minor edits

  affeldt-aist

  committed
  da24774

  Copy full SHA for da24774

Commits on Jul 4, 2024

• renaming (#124)

  affeldt-aist

  authored
  b7074c4

  Copy full SHA for b7074c4

Commits on Jun 27, 2024

• fixes #122

  affeldt-aist

  committed
  89a20e4

  Copy full SHA for 89a20e4

• upd readme

  affeldt-aist

  committed
  16e38b6

  Copy full SHA for 16e38b6

• release

  affeldt-aist

  committed
  8a9c354

  Copy full SHA for 8a9c354

Commits on Jun 14, 2024

• fix naming

  affeldt-aist

  committed
  418e7dd

  Copy full SHA for 418e7dd

• minor modifications

  Show description for e9d5413
  

  hoheinzollern

  authored and

  affeldt-aist

  committed
  e9d5413

  Copy full SHA for e9d5413

• Weighted mean estimation

  Show description for c222fb8
  

  hoheinzollern

  authored and

  affeldt-aist

  committed
  c222fb8

  Copy full SHA for c222fb8

• Trimmed mean estimation

  Show description for 45c68bd
  

  hoheinzollern

  authored and

  affeldt-aist

  committed
  45c68bd

  Copy full SHA for 45c68bd

• Utility functions for weightedmean

  

  hoheinzollern

  authored and

  affeldt-aist

  committed
  28303df

  Copy full SHA for 28303df

Commits on May 30, 2024

• fixes #69 (#119)

  affeldt-aist

  authored
  29df87f

  Copy full SHA for 29df87f

• fixes #117 (#118)

  affeldt-aist

  authored
  c765b5f

  Copy full SHA for c765b5f

Commits on May 23, 2024

• changelog memo

  affeldt-aist

  committed
  2911b1f

  Copy full SHA for 2911b1f

Commits on Apr 25, 2024

• fix

  affeldt-aist

  committed
  2b07fac

  Copy full SHA for 2b07fac

Commits on Apr 22, 2024

• changelog

  affeldt-aist

  committed
  dee2ea6

  Copy full SHA for dee2ea6

• port to MC2 (#116)

  Show description for e54935f
  

  3 peopleauthored
  e54935f

  Copy full SHA for e54935f

Commits on Mar 28, 2024

• typo

  affeldt-aist

  committed
  913a929

  Copy full SHA for 913a929

Commits on Mar 11, 2024

• fix sumRE (#113)

  t6s

  authored
  ee75502

  Copy full SHA for ee75502

Commits on Feb 2, 2024

• test compatibility with Coq 8.19 (#112)

  affeldt-aist

  authored
  15762a0

  Copy full SHA for 15762a0

Commits on Jan 26, 2024

• upd opam (#111)

  Show description for d5f6129
  affeldt-aist

  authored
  d5f6129

  Copy full SHA for d5f6129

Commits on Dec 8, 2023

• change the notation for tnth from \_ to avoid a conflict with mca (#110)

  Show description for d6a61b4
  t6s

  authored
  d6a61b4

  Copy full SHA for d6a61b4

Commits on Dec 3, 2023

• fix changelog

  affeldt-aist

  committed
  da50633

  Copy full SHA for da50633

Commits on Nov 27, 2023

• generalize and cleanup some lemmas for bigop (#108)

  t6s

  authored
  a820aef

  Copy full SHA for a820aef

Commits on Nov 22, 2023

• Cleaning 20231122 (#107)

  Show description for 521b3b2
  

  affeldt-aist

  and

  t6s

  authored
  521b3b2

  Copy full SHA for 521b3b2

• Cleaning 20231121 (#106)

  Show description for a79d941
  

  t6s

  and

  affeldt-aist

  authored
  a79d941

  Copy full SHA for a79d941

Pagination

Previous

Next