Minutes April 7 2021 - math-comp/math-comp GitHub Wiki

  • Porting MathComp to HB
    • Status report on porting
      • yellow dot means documentation needs update
    • Cyril explained the .on syntax (documentation in structures.v)
      • as well as the .Copy syntax
    • Status of the documentation of ssralg.v
      • clarification of priorities (code vs. doc)
    • Update on current issues (slowdown in perm.v, etc.)
    • Next actions for the rest of the day