HomeIsabelle/Phabricator
Diffusion afp-devel daebb0e27b64

Tuned proof automation
daebb0e27b64
Actions

Description

Tuned proof automation

Details

Provenance
Simon Wimmer <wimmers@in.tum.de>Authored on
Parents
rAFPb9ca92c46cd9: Cleaning
Branches
Unknown
Tags
Unknown

Event Timeline

Simon Wimmer <wimmers@in.tum.de> committed rAFPdaebb0e27b64: Tuned proof automation.Sep 27 2019, 4:25 PM

Changes (1)

PathSize
thys/
Monad_Memo_DP/
example/

rAFPdaebb0e27b64

View Options

thys/Monad_Memo_DP/example/Bellman_Ford.thy

Loading...