Diffusion afp-devel ddf90847bfa5

enable proof in session Lorenz_C1
ddf90847bfa5
Actions

Tags

None

Subscribers

None

Description

enable proof in session Lorenz_C1

Details

Provenance

Authored on

Parents

rAFP9fe22db3f8a8: simplified proofs

Branches

Unknown

Tags

Unknown

Reverted By

rAFPfd41e17fc7bd: backed out changeset ddf90847bfa5: still requires approx. 8-10h elapsed time /…

Event Timeline

immler committed rAFPddf90847bfa5: enable proof in session Lorenz_C1.Feb 27 2024, 3:10 PM

makarius added a reverting change: rAFPfd41e17fc7bd: backed out changeset ddf90847bfa5: still requires approx. 8-10h elapsed time /….Feb 29 2024, 11:33 PM

Changes (2)

Path

Size

thys/

Ordinary_Differential_Equations/

Ex/

Lorenz/

C1/

rAFPddf90847bfa5

thys/Ordinary_Differential_Equations/Ex/Lorenz/C1/Lorenz_C1.thy

Loading...

thys/Ordinary_Differential_Equations/ROOT

Loading...