Code

Compatible with MathComp 1.12#275

Code

Merged

affeldt-aist merged 6 commits intomath-comp:mastermath-comp/analysis:masterfrom pi8027:mathcomp1.12pi8027/analysis:mathcomp1.12Copy head branch name to clipboardDec 21, 2020

+132-173

Commits

Commits on Dec 12, 2020

• Compatible with MathComp master (and hopefully 1.12)

  

  pi8027

  authored and

  CohenCyril

  committed
  7588356

  Copy full SHA for 7588356

• so that it compiles with mathcomp 1.12

  

  affeldt-aist

  authored and

  CohenCyril

  committed
  c28b89b

  Copy full SHA for c28b89b

• regenerate metadata

  CohenCyril

  committed
  84fb050

  Copy full SHA for 84fb050

Commits on Dec 14, 2020

• fixes

  Show description for b055efe
  affeldt-aist

  committed
  b055efe

  Copy full SHA for b055efe

Commits on Dec 15, 2020

• remove lemmas and update INSTALL.md

  Show description for 33b2098
  affeldt-aist

  committed
  33b2098

  Copy full SHA for 33b2098

Commits on Dec 17, 2020

• add changelog and fix INSTALL.md

  affeldt-aist

  committed
  a510162

  Copy full SHA for a510162