1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
Logic/Adjointification.v
Logic/Eqdep_dec.v
Logic/JMeq.v
Logic/SetIsType.v
Logic/Berardi.v
Logic/ExtensionalFunctionRepresentative.v
Logic/ProofIrrelevanceFacts.v
Logic/StrictProp.v
Logic/ConstructiveEpsilon.v
Logic/ExtensionalityFacts.v
Logic/ProofIrrelevance.v
Logic/WeakFan.v
Logic/Decidable.v
Logic/FunctionalExtensionality.v
Logic/PropExtensionalityFacts.v
Logic/Eqdep.v
Logic/HLevels.v
Logic/PropFacts.v
Logic/EqdepFacts.v
Logic/Hurkens.v
Logic/RelationalChoice.v
-Q Logic Stdlib.Logic
|
