Skip to content

Notation for disjointness: replace ⊥ with ##, so that ⊥ can be used for bottom.

Jacques-Henri Jourdan requested to merge jh/bottom_notation into master

The commit needs to be amended to bump up the ref to coq stdpp.

Edited by Jacques-Henri Jourdan

Merge request reports