HomeIsabelle/Phabricator
Diffusion afp-devel 7f0e4780e5b6

Multivariate_Analysis as (tentative) canonical entry point
7f0e4780e5b6
Actions

Description

Multivariate_Analysis as (tentative) canonical entry point

Details

Provenance
immlerAuthored on
Parents
rAFP9cbc0558e973: more selective imports
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (19)

PathSize
thys/
Affine_Arithmetic/
Ergodic_Theory/
First_Welfare_Theorem/
Kuratowski_Closure_Complement/
Lower_Semicontinuous/
Octonions/
Ptolemys_Theorem/
Quaternions/
Tarskis_Geometry/
Taylor_Models/
Transcendence_Series_Hancl_Rucki/
Triangle/
UpDown_Scheme/
Winding_Number_Eval/
pGCL/

rAFP7f0e4780e5b6

View Options

thys/Affine_Arithmetic/Affine_Arithmetic_Auxiliarities.thy

Loading...
View Options

thys/Affine_Arithmetic/Affine_Form.thy

Loading...
View Options

thys/Affine_Arithmetic/Counterclockwise.thy

Loading...
View Options

thys/Affine_Arithmetic/Executable_Euclidean_Space.thy

Loading...
View Options

thys/Ergodic_Theory/Fekete.thy

Loading...
View Options

thys/First_Welfare_Theorem/Preferences.thy

Loading...
View Options

thys/Kuratowski_Closure_Complement/KuratowskiClosureComplementTheorem.thy

Loading...
View Options

thys/Lower_Semicontinuous/Lower_Semicontinuous.thy

Loading...
View Options

thys/Octonions/Cross_Product_7.thy

Loading...
View Options

thys/Ptolemys_Theorem/Ptolemys_Theorem.thy

Loading...
View Options

thys/Quaternions/Quaternions.thy

Loading...
View Options

thys/Tarskis_Geometry/Metric.thy

Loading...
View Options

thys/Taylor_Models/Float_Topology.thy

Loading...
View Options

thys/Transcendence_Series_Hancl_Rucki/Transcendence_Series.thy

Loading...
View Options

thys/Triangle/Angles.thy

Loading...
View Options

thys/UpDown_Scheme/Grid_Point.thy

Loading...
View Options

thys/Winding_Number_Eval/Cauchy_Index_Theorem.thy

Loading...
View Options

thys/Winding_Number_Eval/Missing_Topology.thy

Loading...
View Options

thys/pGCL/Misc.thy

Loading...