List view

Port to MathComp 2

Status: Merged (completed).

math-comp/analysisnumber 951

#951 In math-comp/analysis;

· by proux01 was closed on Jan 24, 2024

fixes #536 (hierarchy pic in README)

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 1163

#1163 In math-comp/analysis;

· by affeldt-aist was closed on Jan 25, 2024

fixes #1006

"bug" 🐛This issue (resp. PR) describes (resp. fixes) a "bug"This issue (resp. PR) describes (resp. fixes) a "bug"

Status: Merged (completed).

math-comp/analysisnumber 1155

#1155 In math-comp/analysis;

· by affeldt-aist was closed on Jan 25, 2024

contra tactic and helper lemmas (in boolp.v)

Status: Merged (completed).

math-comp/analysisnumber 1119

#1119 In math-comp/analysis;

· by Tragicus was closed on Jan 18, 2024

Incomplete hierarchy of structures in the README

"bug" 🐛This issue (resp. PR) describes (resp. fixes) a "bug"This issue (resp. PR) describes (resp. fixes) a "bug"

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

Status: Closed (completed).

#536 In math-comp/analysis;

· by affeldt-aist was closed on Jan 25, 2024

sigmaT_finite lemma not available with earlier versions

"bug" 🐛This issue (resp. PR) describes (resp. fixes) a "bug"This issue (resp. PR) describes (resp. fixes) a "bug"

Status: Closed (completed).

#1006 In math-comp/analysis;

· by affeldt-aist was closed on Jan 25, 2024