Welcome to dune Discussions!

[rgrinberg]

👋 Welcome!

We’re using Discussions as a place to connect with other members of our community. We hope that you:

• Ask questions you’re wondering about.
• Share ideas.
• Engage with other community members.
• Welcome others and are open-minded. Remember that this is a community we
  build together 💪.

To get started, comment below with an introduction of yourself and tell us about what you do with this community.

[bobot]

Hi, I'm François @bobot . I work mainly on software formal verification (Frama-c, Why3 and more generally solvers (Colibri and Colibri2) and other thing (e.g Mlpost) generally in OCaml.

In the Dune community, I'm interested in using dune for big projects like Frama-c and Why3 in order to simplify their maintenance and make available the nice build system workflow and features that have been developed in them along the years. More generally I'm interested in helping the OCaml developers to have a smooth programming experience, with as much as possible working out-of-the-box.

[ejgallego]

Hi, I'm Emilio @ejgallego , I work on mechanized verification, in particular using and extending the Coq Proof Assistant .

As a kind of heavy OCaml user, I'm very interested in Dune on several aspects, in particular:

• improving the regular OCaml workflow so dune works well for our projects, including good js_of_ocaml integration
• extending Dune to build Coq theories compositionally
• reusing Dune's ideas about incremental computation to implement Coq's theory checking beyond file granularity