Skip to content
GitLab
Explore
Sign in
Iris
Fairis
Repository
fairis
theories
algebra
upred_bi.v
Find file
Blame
History
Permalink
Bump opam; update to new bi interface (removing admits); developing ATimeless infrastructure.
· 99e241f1
Joseph Tassarotti
authored
Feb 26, 2018
99e241f1