Mihai Costin
Mihai Costin
Hello! Is this issue still open? I would like have a try at this
Just making sure I understood correctly : a new command should be added (like `dune coq init` or `dune init coq`, with arguments to specify wether a theory or a...
> Hi @mihaicostin34 , yes, indeed it is open, don't hesitate to let us know if we can be of help. > > In addition to the OCaml-related channels, Coq-related...
Hello! I've been having some trouble figuring out how the `Stanza` and `Encoder` modules tie together for the creation of stanzas as csts. Could anyone provide some more explanations/clarifications please?