Closed Dec 12, 2020
Due by December 25, 2020
•Closed Last release compatible with MathComp 1.11.0.
100% complete
List view
0 issues of 7 selected
- Status: Merged (completed).math-comp/analysisnumber 279#279 In math-comp/analysis;
- Status: Merged (completed).math-comp/analysisnumber 281#281 In math-comp/analysis;
- Status: Merged (completed).math-comp/analysisnumber 290#290 In math-comp/analysis;
- Status: Merged (completed).math-comp/analysisnumber 293#293 In math-comp/analysis;
- Status: Closed (abandoned).math-comp/analysisnumber 267#267 In math-comp/analysis;
- Status: Merged (completed).math-comp/analysisnumber 285#285 In math-comp/analysis;
- Status: Closed (completed).#292 In math-comp/analysis;