Diffusion afp-devel d798380a6ca7

no need to enforce safety of final interval enclosure
d798380a6ca7
Actions

Tags

None

Subscribers

None

Description

no need to enforce safety of final interval enclosure

Details

Provenance

Authored on

Parents

rAFP25ba40a59673: adapted to 3e343c0c2138

Branches

Unknown

Tags

Unknown

Event Timeline

immler committed rAFPd798380a6ca7: no need to enforce safety of final interval enclosure.May 22 2020, 3:19 PM

Changes (1)

Path

Size

thys/

Ordinary_Differential_Equations/

Numerics/

Abstract_Reachability_Analysis_C1.thy

rAFPd798380a6ca7

thys/Ordinary_Differential_Equations/Numerics/Abstract_Reachability_Analysis_C1.thy

Loading...