Skip to content

Documentation about `leibnizO`.

Robbert Krebbers requested to merge robbert/leibnizO into master

Following up on a discussion at Mattermost: https://mattermost.mpi-sws.org/iris/pl/4yeyn4i53bydjbf4g4syfm7q6h

Merge request reports