afld-proof/AfldProof.lean at master · advancedresearcharray/afld-proof · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
-- This module serves as the root of the `AfldProof` library.
-- Import modules here that should be built as part of the library.
-- Generated by scripts/sync_afld_imports.py (only files present under AfldProof/).

import AfldProof.Basic
import AfldProof.PairwiseAverage
import AfldProof.InformationLoss
import AfldProof.FermatBridge
import AfldProof.CyclicPreservation
import AfldProof.BealConjecture
import AfldProof.SignedFoldingCeiling
import AfldProof.DimensionalSeparation
import AfldProof.CompressionPipeline
import AfldProof.VerificationBridge
import AfldProof.WeightedProjection
import AfldProof.MetaTheorem15D
import AfldProof.DerivedCategory
import AfldProof.InformationFlowComplexity
import AfldProof.RiemannHypothesis
import AfldProof.ComputationalInfoTheory
import AfldProof.DatabaseDimensionalFolding
import AfldProof.Emc2DimensionalEmbeddings
import AfldProof.CubeSpaceDesign
import AfldProof.QuantumGravity
import AfldProof.MasterTheorem
import AfldProof.ZeroPrimeDerivative
import AfldProof.GapBridgeTheorems
import AfldProof.VideoStreamingOptimization
import AfldProof.QuantumConsciousness
import AfldProof.NuclearPhysicsFolding
import AfldProof.NetworkThroughput
import AfldProof.PatternOptimization
import AfldProof.UltraHighCompression
import AfldProof.UniversalDimensionalCompleteness
import AfldProof.AdvancedPropulsion
import AfldProof.FrameworkLinking15D
import AfldProof.BitLevelSolutionBridging
import AfldProof.BaselConvergence
import AfldProof.DarkMatterPhysics
import AfldProof.SatelliteConstellationLinking
import AfldProof.EarlyGenBridge
import AfldProof.ProofComputeSynthesis
import AfldProof.DimensionStudy
import AfldProof.FrameworkLinkingEarly
import AfldProof.InnovationEngineMilestone
import AfldProof.ShannonEntropyDiscovery
import AfldProof.GapTheoryBridges
import AfldProof.RealBridges
import AfldProof.FermatLagrangeBridge
import AfldProof.Emc2_15DProjections
import AfldProof.TotientChannelCapacity
import AfldProof.BaselInformationContent
import AfldProof.CoprimeFolding

import AfldProof.AutoGapBridge_5896006
import AfldProof.AutoGapBridge_5896248
import AfldProof.AutoGapBridge_5896533
import AfldProof.AutoGapBridge_5898538
import AfldProof.AutoGapBridge_5898565
import AfldProof.AutoGapBridge_5903138
import AfldProof.AutoGapBridge_5905458
import AfldProof.AutoGapBridge_5906981
import AfldProof.AutoGapBridge_5907033
import AfldProof.AutoGapBridge_5913372
import AfldProof.AutoGapBridge_5913890
import AfldProof.AutoGapBridge_5914178
import AfldProof.AutoGapBridge_5916698
import AfldProof.AutoGapBridge_5917263
import AfldProof.AutoGapBridge_5920519
import AfldProof.AutoGapBridge_5921843
import AfldProof.AutoGapBridge_5922136
import AfldProof.AutoGapBridge_5923909
import AfldProof.AutoGapBridge_5923950
import AfldProof.AutoGapBridge_5924652
import AfldProof.AutoGapBridge_5925709
import AfldProof.AutoGapBridge_5926507
import AfldProof.AutoGapBridge_5927198
import AfldProof.AutoGapBridge_5927203
import AfldProof.AutoGapBridge_5927695
import AfldProof.AutoDiscoveredBridges

import AfldProof.EngineBridge_0f83fec4
import AfldProof.EngineBridge_149320cc
import AfldProof.EngineBridge_1fd3c491
import AfldProof.EngineBridge_2467abc5
import AfldProof.EngineBridge_2df67144
import AfldProof.EngineBridge_53f2baf5
import AfldProof.EngineBridge_5704b99e
import AfldProof.EngineBridge_58919c78
import AfldProof.EngineBridge_6213e06b
import AfldProof.EngineBridge_623c2bda
import AfldProof.EngineBridge_6b9546e4
import AfldProof.EngineBridge_720cdbb0
import AfldProof.EngineBridge_85df8012
import AfldProof.EngineBridge_9627e5ee
import AfldProof.EngineBridge_973f8c9d
import AfldProof.EngineBridge_9e1f716f
import AfldProof.EngineBridge_a2b5ec96
import AfldProof.EngineBridge_ab19e39a
import AfldProof.EngineBridge_b71d9e4c
import AfldProof.EngineBridge_bb89e674
import AfldProof.EngineBridge_c105a3eb
import AfldProof.EngineBridge_c2de4cd4
import AfldProof.EngineBridge_cdd7fb45
import AfldProof.EngineBridge_cfefe966
import AfldProof.EngineBridge_d1c384b9
import AfldProof.EngineBridge_df5f7b6f
import AfldProof.EngineBridge_f39d7841