Stream: Coq devs & plugin devs

Topic: Documentation discussion in OCaml's discuss

view this post on Zulip Emilio Jesús Gallego Arias (Apr 27 2021 at 16:35):

This could be interesting for the doc team

view this post on Zulip Théo Zimmermann (Apr 28 2021 at 10:35):

Thanks for sharing! I was aware of the discussed framework but not of the ongoing discussion in the OCaml context.

Last updated: Dec 05 2023 at 06:01 UTC