Library Coq.Logic.Classical_Type
Classical Logic for Type
Require
Export
Classical_Prop
.
Require
Export
Classical_Pred_Type
.
Index
This page has been generated by
coqdoc