Skip to content
GitLab
Explore
Sign in
Rice Wine
Iris
Repository
iris
theories
bi
weakestpre.v
Find file
Blame
History
Permalink
comment for how we plan to generalize the WP notation if necessary
· 3673d5fd
Ralf Jung
authored
Jun 17, 2018
3673d5fd