Skip to content
GitLab

[documentation] Some more text about the modalities.

Merged Dan Frumin requested to merge dfrumin/iris-coq:modalities-doc into master

I tried to expand the documentation about the modalities in MoSeL after studying several associated files. Do you think that what I wrote is accurate?

Edited by Dan Frumin