Diffusion afp-devel 2500a913c1f2

tuned BNF bound
2500a913c1f2
Actions

Tags

None

Subscribers

None

Description

tuned BNF bound

Details

Provenance

Authored on

Parents

rAFP5b2658c54443: strict bounds for BNFs (by Jan van Brügge)

Branches

Unknown

Tags

Unknown

Event Timeline

traytel committed rAFP2500a913c1f2: tuned BNF bound.Jun 27 2022, 5:18 PM

Changes (3)

Path

Size

thys/

BNF_Operations/

Probabilistic_System_Zoo/

Finitely_Bounded_Set_Counterexample.thy

Nonempty_Bounded_Set.thy

rAFP2500a913c1f2

thys/BNF_Operations/GFP.thy

Loading...

thys/Probabilistic_System_Zoo/Finitely_Bounded_Set_Counterexample.thy

Loading...

thys/Probabilistic_System_Zoo/Nonempty_Bounded_Set.thy

Loading...