HomeIsabelle/Phabricator

Improved proof of main correctness theorem for BF

Description

Improved proof of main correctness theorem for BF

Details

Provenance
Simon Wimmer <wimmers@in.tum.de>Authored on
Parents
rAFP4dcc15eef93e: merged from afp-2019
Branches
Unknown
Tags
Unknown