Learn
Platform
Packages
Community
Consortium
News
Learn
Platform
Packages
Community
Consortium
News
Get started
Standard Library
Table of contents
Index
▾
Table of contents
Index
Library Stdlib.Logic.Classical
Classical Logic
From
Stdlib
Require
Export
Classical_Prop
.
From
Stdlib
Require
Export
Classical_Pred_Type
.