Diffusion afp-devel 97aa28cdec1a

New entry HyperHoareLogic
97aa28cdec1a
Actions

Tags

None

Subscribers

None

Description

New entry HyperHoareLogic

Details

Provenance

Authored on

Parents

rAFPa054eadf858c: New entry Distributed_Distinct_Elements

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP97aa28cdec1a: New entry HyperHoareLogic.Apr 18 2023, 5:27 AM

Changes (37)

Path

Size

HyperHoareLogic.toml

HyperHoareLogic

Expressivity.thy

ProgramHyperproperties.thy

authors/

dardinier/

data/

HyperHoareLogic.html

statistics/

hyperhoarelogic

topics/

computer-science/

programming-languages/

logics/

rAFP97aa28cdec1a

metadata/entries/HyperHoareLogic.toml

Loading...

thys/HyperHoareLogic/Examples.thy

Loading...

thys/HyperHoareLogic/Expressivity.thy

Loading...

thys/HyperHoareLogic/Language.thy

Loading...

thys/HyperHoareLogic/Logic.thy

Loading...

thys/HyperHoareLogic/ProgramHyperproperties.thy

Loading...

thys/HyperHoareLogic/ROOT

Loading...

thys/HyperHoareLogic/document/root.bib

Loading...

thys/HyperHoareLogic/document/root.tex

Loading...

thys/ROOTS

Loading...

web/authors/dardinier/index.html

Loading...

web/authors/dardinier/index.xml

Loading...

web/data/keywords.json

Loading...

web/entries/HyperHoareLogic.html

Loading...

web/entries/index.html

Loading...

web/entries/index.xml

Loading...

web/index.html

Loading...

web/index.json

Loading...

web/index.xml

Loading...

web/sitemap.xml

Loading...

web/statistics/index.html

Loading...

web/theories/hyperhoarelogic/index.html

Loading...

web/theories/index.xml

Loading...

web/topics/computer-science/programming-languages/index.html

Loading...

web/topics/computer-science/programming-languages/index.xml

Loading...

web/topics/computer-science/programming-languages/logics/index.html

Loading...

web/topics/computer-science/programming-languages/logics/index.xml

Loading...

web/topics/index.html

Loading...