Minutes June 29 2022 - math-comp/math-comp GitHub Wiki

Topics

  • release a 1.15.0? (1.14.0 doesn't compile with Coq 8.16)
  • status of HB port #733
  • MC workshop/meeting next fall (Enrico)

Minutes

  • Enrico works on the release tomorrow, we did some triaging
  • HB: ad-hoc support for parameters depending on mixins when the key is an atom (eg T and not, say, T * T)
    • maybe detect the case which is not supported and give nice error
    • document the limitation
    • we are 110 lines from the end of ssrnum.v, then MC-analysis can be ported to MC 2.0
  • MC workshop:
    • doodle -> October (maybe a little short, so maybe November)
    • MC school colocated -> Map School like sounds good