Coq Call 2021 12 15 - rocq-prover/rocq GitHub Wiki
- December 15 2021, 4pm-5pm Paris Time
- https://rdv2.rendez-vous.renater.fr/coq-call
Topics
- Quick point on renaming status (Emilio)
- Date for WG 2022 (Emilio)
- Coq/Dune coupling and #15220 (findlib for plugins) (Enrico)
- Holiday break (Matthieu)
Notes
Links from Emilio slide's on layout engine
- https://github.com/ejgallego/ceps/blob/6bac997cc339286687b083c13c43a4647c8f4e30/text/012-coq-ml-interfaces.md
- https://github.com/coq/ceps/blob/ef6706f3190611b15caf73464d46c84a06ef823c/text/unified-pretty-printing.md
- https://github.com/coq/coq/pull/143
- https://github.com/coq/coq/pull/505
- https://github.com/coq/coq/issues/6455
- https://github.com/jscoq/jscoq/issues/234
- https://github.com/jscoq/jscoq/issues/246