Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
modures
logic.v
Find file
Blame
History
Permalink
Box like notation for uPred_const.
· 536b118c
Robbert Krebbers
authored
Jan 14, 2016
536b118c