Skip to content

Minor documentation fixes

Ghost User requested to merge archived_projects/coq-stdpp:docfixes into master

Corrected typeclass names in some of the documentation.

Merge request reports