HomeIsabelle/Phabricator
Diffusion afp-devel 1c40d029c4bd

Cycle detection lemma
1c40d029c4bd
Actions

Description

Cycle detection lemma

Details

Provenance
Simon Wimmer <wimmers@in.tum.de>Authored on
Parents
rAFPe3b9d924eefa: Improved proof of main correctness theorem for BF
Branches
Unknown
Tags
Unknown

Event Timeline

Simon Wimmer <wimmers@in.tum.de> committed rAFP1c40d029c4bd: Cycle detection lemma.Aug 2 2019, 2:35 PM

Changes (1)

PathSize
thys/
Monad_Memo_DP/
example/

rAFP1c40d029c4bd

View Options

thys/Monad_Memo_DP/example/Bellman_Ford.thy

Loading...