Diffusion afp-devel 759e3bb5a93e

adapted to isabelle/4c1347e172b1
759e3bb5a93e
Actions

Tags

None

Subscribers

None

Description

adapted to isabelle/4c1347e172b1

Details

Provenance

Authored on

Parents

rAFP36cf00eeb9e4: moved web_app to distribution (see Isabelle/37ea0727291f);

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rAFP759e3bb5a93e: adapted to isabelle/4c1347e172b1.Mar 30 2024, 12:52 PM

Changes (10)

Path

Size

E_Transcendental/

E_Transcendental.thy

Formal_Puiseux_Series/

Puiseux_Polynomial_Library.thy

Hermite_Lindemann/

Hermite_Lindemann.thy

Pi_Transcendental

Pi_Transcendental.thy

Pi_Transcendental_Polynomial_Library.thy

Polynomial_Interpolation/

Ring_Hom_Poly.thy

Wetzels_Problem/

Wetzels_Problem.thy

rAFP759e3bb5a93e

thys/E_Transcendental/E_Transcendental.thy

Loading...

thys/E_Transcendental/ROOT

Loading...

thys/Formal_Puiseux_Series/Puiseux_Polynomial_Library.thy

Loading...

thys/Hermite_Lindemann/Hermite_Lindemann.thy

Loading...

thys/Pi_Transcendental/Pi_Transcendental.thy

Loading...

thys/Pi_Transcendental/Pi_Transcendental_Polynomial_Library.thy

Loading...

thys/Polynomial_Interpolation/Ring_Hom_Poly.thy

Loading...

thys/Wetzels_Problem/Wetzels_Problem.thy

Loading...