Module Coq.Logic.Classical_Type

Classical Logic for Type

Require Export Classical_Prop.
Require Export Classical_Pred_Type.


Index