Skip to content
GitLab
Explore
Sign in
Iris
Iron
Repository
iron
theories
iron_logic
iron.v
Find file
Blame
History
Permalink
ufrac is part of Iris now; make use of that.
· 65ff62e6
Robbert Krebbers
authored
Feb 03, 2019
65ff62e6