List view

Get rid of ssrnum.mc_1_10

Status: Merged (completed).

math-comp/analysisnumber 319

#319 In math-comp/analysis;

· by pi8027 was closed on Jan 13, 2021

minor lemma generalization

Status: Merged (completed).

math-comp/analysisnumber 332

#332 In math-comp/analysis;

· by affeldt-aist was closed on Mar 4, 2021

iff lemmas

Status: Merged (completed).

math-comp/analysisnumber 320

#320 In math-comp/analysis;

· by affeldt-aist was closed on Jan 19, 2021

lemmas to prove inf/sup properties of intervals

Status: Merged (completed).

math-comp/analysisnumber 321

#321 In math-comp/analysis;

· by affeldt-aist was closed on Jan 19, 2021

more uniform variable naming convention

Status: Merged (completed).

math-comp/analysisnumber 314

#314 In math-comp/analysis;

· by affeldt-aist was closed on Jan 26, 2021

fixes issue #324

Status: Merged (completed).

math-comp/analysisnumber 326

#326 In math-comp/analysis;

· by affeldt-aist was closed on Jan 19, 2021

bounded_on -> bounded_near

Status: Closed (completed).

#325 In math-comp/analysis;

· by mkerjean was closed on Jan 26, 2021

Balls should be provably open

Status: Closed (completed).

#301 In math-comp/analysis;

· by mkerjean was closed on Jan 26, 2021

add test Coq 8.13

build/continuous integration ⚙️This issue/PR is about the build process or CIThis issue/PR is about the build process or CI

Status: Closed (completed).

#310 In math-comp/analysis;

· by affeldt-aist was closed on Jan 19, 2021