Skip to content

Minutes April 7 2021

Jump to bottom Edit New page
affeldt-aist edited this page Apr 7, 2021 · 1 revision
  • 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
Add a custom footer

Clone this wiki locally