Typo in documentation
Hi,
There is a typo here: https://plv.mpi-sws.org/coqdoc/iris/iris.algebra.cmra.html#lab34, which shows:
It comes from a section title spitted in two lines. This seems to be the only occurrence
Hi,
There is a typo here: https://plv.mpi-sws.org/coqdoc/iris/iris.algebra.cmra.html#lab34, which shows:
It comes from a section title spitted in two lines. This seems to be the only occurrence