graph-theory

graph-theory copied to clipboard

The file [finmap_plus.v](https://github.com/coq-community/graph-theory/blob/aab98c167cfb1c3a1b9cbf8edccfcddd425bf790/theories/core/finmap_plus.v) contains many general finite map results that could be propagated upstream to the [finmap project](https://github.com/math-comp/finmap/) (or may have already been added to recent releases). This is a...

palmskog

non-forgetful attribute for pttdom_elabel

1

Current master branch of HB turns this instance into an error without the attribute.

chdoc

In order to obtain decently looking documentation, we should consistent in our use of comments and documentation: - documentation comments (** *) for everything that qualifies as explanation (rendered in...

chdoc