HomeIsabelle/Phabricator

a simpler MFMC proof for bounded networks

Description

a simpler MFMC proof for bounded networks

Details

Provenance
Andreas Lochbihler <mail@andreas-lochbihler.de>Authored on
Parents
rAFPc7ce9d354883: sorted out lemmas
Branches
Unknown
Tags
Unknown

Event Timeline