Skip to content
affeldt-aist edited this page Aug 6, 2024 · 412 revisions

Guides

Meetings

Next meeting

Date: TBD (August 2024?) (Paris Time)

Topics (please edit) ✍️

Long-standing issues

  • Documentation:
    • how to prove that something is a nbhs?
      • NB: already partially addressed in FAQ
      • impacted by the port to Hierarchy-builder #915
  • Simplification of the filter layer
    • see #300 and #282
    • impacted by the port to Hierarchy-builder #915
  • Issue related to Landau:
    • typechecking in Landau notations using derive.v

Minutes