Is there a recommended reading order for the content in this library?
The order in automatically the generated toc.html seems to be violating dependencies between modules.
There used to be an online documentation webpage at http://corn.cs.ru.nl/ which seemed present the material in a sensible order.
It would be great if something like the software foundations book was developed from the generated coqdoc.
Is there a recommended reading order for the content in this library?
The order in automatically the generated toc.html seems to be violating dependencies between modules.
There used to be an online documentation webpage at http://corn.cs.ru.nl/ which seemed present the material in a sensible order.
It would be great if something like the software foundations book was developed from the generated coqdoc.