HomeIsabelle/Phabricator
Diffusion afp-devel 1bf09a5c7053

Strong soundness.
1bf09a5c7053
Actions

Description

Strong soundness.

Details

Provenance
Asta Halkjær From <andro.from@gmail.com>Authored on
Parents
rAFPe58170bdc3c1: Strong soundness.
Branches
Unknown
Tags
Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFP1bf09a5c7053: Strong soundness..Feb 4 2022, 4:00 PM

Changes (1)

PathSize
thys/
Public_Announcement_Logic/

rAFP1bf09a5c7053

View Options

thys/Public_Announcement_Logic/PAL.thy

Loading...