Diffusion afp-devel 7df5ba0f40af

new entry Implicational_Logic
7df5ba0f40af
Actions

Tags

None

Subscribers

None

Description

new entry Implicational_Logic

Details

Provenance

Authored on

Parents

rAFP1847e8b46ffd: New entry Separation_Logic_Unbounded

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP7df5ba0f40af: new entry Implicational_Logic.Sep 19 2022, 7:43 PM

Changes (36)

Path

Size

Implicational_Logic.toml

Implicational_Logic

Implicational_Logic.thy

authors/

from/

villadsen/

data/

Implicational_Logic.html

statistics/

implicational_logic

topics/

logic/

general-logic/

classical-propositional-logic/

proof-theory/

rAFP7df5ba0f40af

metadata/entries/Implicational_Logic.toml

Loading...

thys/Implicational_Logic/Implicational_Logic.thy

Loading...

thys/Implicational_Logic/ROOT

Loading...

thys/Implicational_Logic/document/root.tex

Loading...

thys/ROOTS

Loading...

web/authors/from/index.html

Loading...

web/authors/from/index.xml

Loading...

web/authors/villadsen/index.html

Loading...

web/authors/villadsen/index.xml

Loading...

web/data/keywords.json

Loading...

web/entries/Implicational_Logic.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/implicational_logic/index.html

Loading...

web/theories/index.xml

Loading...

web/topics/index.html

Loading...

web/topics/logic/general-logic/classical-propositional-logic/index.html

Loading...

web/topics/logic/general-logic/classical-propositional-logic/index.xml

Loading...

web/topics/logic/general-logic/index.html

Loading...

web/topics/logic/general-logic/index.xml

Loading...

web/topics/logic/proof-theory/index.html

Loading...

web/topics/logic/proof-theory/index.xml

Loading...