Library Stdlib.Logic.Classical



Classical Logic

From Stdlib Require Export Classical_Prop.
From Stdlib Require Export Classical_Pred_Type.