Skip to content
GitLab
Explore
Sign in
Michael Sammler
iris-coq
Repository
iris-coq
StyleGuide.md
Find file
Blame
History
Permalink
Document more naming conventions
· 96242aaf
Paolo G. Giarrusso
authored
Aug 06, 2019
Examples for I and SI: uPredI, uPredSI, iPropI, iPropSI.
96242aaf