-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathAST_levels.lean
More file actions
24 lines (24 loc) · 1.09 KB
/
AST_levels.lean
File metadata and controls
24 lines (24 loc) · 1.09 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
import AST_levels.Foundation.Level0
import AST_levels.Foundation.Level1
import AST_levels.Foundation.Level1_Correction
import AST_levels.Foundation.Level1_BetaFlow
import AST_levels.Interpretation.Level2_Interface
import AST_levels.Interpretation.Level2_CorrectionGraph
import AST_levels.Interpretation.Level2_QuantumBridge
import AST_levels.Interpretation.Level2_QuantumResults
import AST_levels.Interpretation.Level2_InflationBridge
import AST_levels.Interpretation.Level2_ManifoldBridge
import AST_levels.Interpretation.Level2_SpacetimeBridge
import AST_levels.Interpretation.Level2_GeometryRoute
import AST_levels.Physics.Level3_Interface
import AST_levels.Physics.Level3_GRBridge
import AST_levels.Physics.Level3_GeometryRoute
import AST_levels.Physics.Level3_Hurwitz
import AST_levels.Physics.Level3_LQG
import AST_levels.Physics.Level3_Soliton
import AST_levels.Physics.Level3_TensorModes
import AST_levels.Applications.Level4_Interface
import AST_levels.Applications.AlphaEstimate
import AST_levels.Applications.Inflation
import AST_levels.Applications.Holography
import AST_levels.Applications.ProtonStability