Library zoo.options

Require Import Stdlib.ssr.ssreflect.

Require Export zoo.tactics.

#[export] Set Default Proof Using "Type*".
#[export] Set Suggest Proof Using.

#[export] Set Bullet Behavior "Strict Subproofs".

#[export] Unset SsrOldRewriteGoalsOrder.

#[export] Set Printing Projections.