HomeIsabelle/Phabricator
Diffusion afp-devel b9514d50aa5a

Simplified proof
b9514d50aa5a
Actions

Description

Simplified proof

Details

Provenance
Simon Wimmer <wimmers@in.tum.de>Authored on
Parents
rAFP1c40d029c4bd: Cycle detection lemma
Branches
Unknown
Tags
Unknown

Event Timeline

Simon Wimmer <wimmers@in.tum.de> committed rAFPb9514d50aa5a: Simplified proof.Aug 2 2019, 2:55 PM

Changes (1)

PathSize
thys/
Monad_Memo_DP/
example/

rAFPb9514d50aa5a

View Options

thys/Monad_Memo_DP/example/Bellman_Ford.thy

Loading...