HomeIsabelle/Phabricator
Diffusion afp-devel 9ab49a9d5013

new entry: Suppes' Theorem
9ab49a9d5013
Actions

Description

new entry: Suppes' Theorem

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP1678a3e62ecc: new entry HoareForDivergence
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP9ab49a9d5013: new entry: Suppes' Theorem.Jan 23 2023, 11:03 AM

Changes (9)

PathSize

rAFP9ab49a9d5013

View Options

thys/ROOTS

Loading...
View Options

thys/Suppes_Theorem/Probability_Logic.thy

Loading...
View Options

thys/Suppes_Theorem/ROOT

Loading...
View Options

thys/Suppes_Theorem/Suppes_Theorem.thy

Loading...
View Options

thys/Suppes_Theorem/document/root.bib

Loading...
View Options

thys/Suppes_Theorem/document/root.tex

Loading...