List view

tentative changelog

Status: Merged (completed).

math-comp/analysisnumber 212

#212 In math-comp/analysis;

· by affeldt-aist was closed on May 26, 2020

updating config.nix

Status: Merged (completed).

math-comp/analysisnumber 211

#211 In math-comp/analysis;

· by CohenCyril was closed on May 23, 2020

ereals form a pseudometric type

Status: Merged (completed).

math-comp/analysisnumber 215

#215 In math-comp/analysis;

· by affeldt-aist was closed on Jun 10, 2020

rename lemmas for classical reasoning to avoid clash with fintype

renaming/refactoring 🔧This is about a renaming or refactoring in the libraryThis is about a renaming or refactoring in the library

Status: Merged (completed).

math-comp/analysisnumber 219

#219 In math-comp/analysis;

· by affeldt-aist was closed on Jun 5, 2020

Adapting to new Order.max

Status: Merged (completed).

math-comp/analysisnumber 218

#218 In math-comp/analysis;

· by CohenCyril was closed on Jun 11, 2020

update INSTALL.md now that 1.11.0 has been released

Status: Merged (completed).

math-comp/analysisnumber 225

#225 In math-comp/analysis;

· by affeldt-aist was closed on Jun 11, 2020

Small renamings about expand

Status: Merged (completed).

math-comp/analysisnumber 226

#226 In math-comp/analysis;

· by CohenCyril was closed on Jun 10, 2020

preparing changelog

Status: Merged (completed).

math-comp/analysisnumber 227

#227 In math-comp/analysis;

· by CohenCyril was closed on Jun 11, 2020

update to last version

documentation 📝This issue/PR is about documentation of the library / repositoryThis issue/PR is about documentation of the library / repository

Status: Merged (completed).

math-comp/analysisnumber 221

#221 In math-comp/analysis;

· by affeldt-aist was closed on Jun 5, 2020

Supremums ereal

Status: Merged (completed).

math-comp/analysisnumber 203

#203 In math-comp/analysis;

· by affeldt-aist was closed on Jun 3, 2020

upgrading default.nix

Status: Merged (completed).

math-comp/analysisnumber 210

#210 In math-comp/analysis;

· by CohenCyril was closed on May 23, 2020

a few lemmas about extended reals' arithmetic

Status: Merged (completed).

math-comp/analysisnumber 208

#208 In math-comp/analysis;

· by affeldt-aist was closed on May 23, 2020