Improve docs for `algebra/proofmode_classes`. (!830) · Merge requests · Iris / Iris · GitLab

Robbert Krebbers requested to merge robbert/algebra_proofmode_classes into master Aug 04, 2022

See discussion at https://mattermost.mpi-sws.org/iris/pl/m8fzzhimy3rnmq1ot4tsb7ogir