Using coqdoc

I want to use coqdoc to create a nice looking documentation. Some tasks to be done:

Edited Jun 28, 2023 by Max Ole Elliger

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information