Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
bi
interface.v
Find file
Blame
History
Permalink
Document BI axioms in terms of the axioms in the ordered RA model.
· bcc8b376
Robbert Krebbers
authored
Feb 08, 2018
bcc8b376