HomeIsabelle/Phabricator
Diffusion afp-devel 085270df7ee2

Normalised email.
085270df7ee2
Actions

Description

Normalised email.

Details

Provenance
Achim D. Brucker <adbrucker@0x5f.org>Authored on
Parents
rAFP7bdd4a5c2e4b: Improved setup of the symbolic evaluator.
Branches
Unknown
Tags
Unknown

Event Timeline

Achim D. Brucker <adbrucker@0x5f.org> committed rAFP085270df7ee2: Normalised email..Aug 5 2023, 3:32 PM

Changes (3)

PathSize
metadata/
entries/

rAFP085270df7ee2

View Options

metadata/entries/Automated_Stateful_Protocol_Verification.toml

Loading...
View Options

metadata/entries/Featherweight_OCL.toml

Loading...
View Options

metadata/entries/Stateful_Protocol_Composition_and_Typing.toml

Loading...