Library zoo.iris.diaframe.base

Require Import zoo.prelude.
Require Export zoo.iris.proofmode.
Require Import zoo.options.