• Topics
• Notes
• Working group:
• findlib support
• usefulness of strengthening the fixpoint guard checker (https://github.com/coq/coq/pull/15434)