Yves Bertot

https://github.com/ybertot/breadth_first_search/tree/Equations_pb gives an example of usage of Equations that does not terminate gracefully. After a while, the Coq process simply dies, without an error message or an explanation. Also, I...

I don't understand. What is the use case?

Understood. I don't really understand `autoconf` myself, and there is pressure to remove its use. One proposed solution is to have a build process relying on `dune`. Another solution that...

I am now stopping to work on this issue, for lack of time today. I think a solution might be found by playing with the extra optional arguments to command...

Moving from autoconf to dune means moving from a system I don't understand fully to a system I barely understand. Right now, I have administrative duties that make that I...

Thanks for the reminder.

I have strong reasons to oppose the support of Reset in Vscoq. - To be able to process a document in an efficient way, it is necessary to have some...

I understand your use case better, but having `Reset` in the middle of a script does not really help with this use case: you can only see one of the...

I needed a solution to this issue again today.

You can have a local installation of opam in you local project workspace, and in this way opam will still do the work of finding everything for you. Would that...