Skip to content
GitLab
Explore
Sign in
Iris
Iris
Issues
#193
Remove or fix `base_logic/deprecated.v`
It currently contains:
(*
FIXME
...
*)