Skip to content
GitLab
Explore
Sign in
iris
iris
program_logic
weakestpre.v
Find file
Blame
History
Permalink
more consistent names for some class projections
· 55cd1cc9
Ralf Jung
authored
Aug 31, 2021
55cd1cc9
Ralf Jung authored55cd1cc9