Diffusion afp-devel 1678a3e62ecc

new entry HoareForDivergence
1678a3e62ecc
Actions

Tags

None

Subscribers

None

Description

new entry HoareForDivergence

Details

Provenance

Authored on

Parents

rAFP218f8b36e463: tuned css;

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP1678a3e62ecc: new entry HoareForDivergence.Jan 23 2023, 12:27 AM

Changes (58)

Path

Size

HoareForDivergence.toml

HoareForDivergence

CoinductiveLemmas.thy

DivLogicCompleteness.thy

DivLogicSoundness.thy

StdLogicCompleteness.thy

StdLogicSoundness.thy

WhileLangLemmas.thy

data/

dependencies/

coinductive/

Coinductive.html

HoareForDivergence.html

statistics/

hoarefordivergence

topics/

computer-science/

programming-languages/

logics/

rAFP1678a3e62ecc

metadata/authors.toml

Loading...

metadata/entries/HoareForDivergence.toml

Loading...

thys/HoareForDivergence/CoinductiveLemmas.thy

Loading...

thys/HoareForDivergence/DivLogic.thy

Loading...

thys/HoareForDivergence/DivLogicCompleteness.thy

Loading...

thys/HoareForDivergence/DivLogicSoundness.thy

Loading...

thys/HoareForDivergence/Examples.thy

Loading...

thys/HoareForDivergence/MiscLemmas.thy

Loading...

thys/HoareForDivergence/ROOT

Loading...

thys/HoareForDivergence/StdLogic.thy

Loading...

thys/HoareForDivergence/StdLogicCompleteness.thy

Loading...

thys/HoareForDivergence/StdLogicSoundness.thy

Loading...

thys/HoareForDivergence/WhileLang.thy

Loading...

thys/HoareForDivergence/WhileLangLemmas.thy

Loading...

thys/HoareForDivergence/document/root.bib

Loading...

thys/HoareForDivergence/document/root.tex

Loading...

thys/ROOTS

Loading...

web/authors/index.html

Loading...

web/authors/index.json

Loading...

web/authors/myreen/index.html

Loading...

web/authors/myreen/index.xml

Loading...

web/authors/pohjola/index.html

Loading...

web/authors/pohjola/index.xml

Loading...

web/authors/tanaka/index.html

Loading...

web/authors/tanaka/index.xml

Loading...

web/data/keywords.json

Loading...

web/dependencies/coinductive/index.html

Loading...

web/dependencies/coinductive/index.xml

Loading...

web/dependencies/index.html

Loading...

web/entries/Coinductive.html

Loading...

web/entries/HoareForDivergence.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/hoarefordivergence/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...