corn icon indicating copy to clipboard operation
corn copied to clipboard
verified publisher icon coq-community

reading order

Open aa755 opened this issue 11 years ago • 0 comments

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.

aa755 avatar Oct 19 '14 16:10 aa755