Skip to content

Some documentation about `Params` and `Proper`.

Robbert Krebbers requested to merge robbert/setoid_docs into master

This came up in stdpp!493 (comment 94682)

TODO:

  • Refer back relevant documentation from Iris in std++, let's discuss in stdpp#194
Edited by Robbert Krebbers

Merge request reports