Skip to content

GitLab

I
Iris
Closed
Opened by Robbert@robbertkrebbers
Report abuse New issue

Remove or fix `base_logic/deprecated.v`

It currently contains:

(*
FIXME

...
*)