Make more consistent use of coqdoc for web doc
It would be nice to have some form of web doc for std++ (and, if this works, maybe even for Iris?). The simplest thing I can imagine is letting the CI run coqtop and putting that somewhere.
It would be nice to have some form of web doc for std++ (and, if this works, maybe even for Iris?). The simplest thing I can imagine is letting the CI run coqtop and putting that somewhere.