Diffusion afp-devel 99880f89e7fc

metadata and sitegen for Isabelle-DOF
99880f89e7fc
Actions

Tags

None

Subscribers

None

Description

metadata and sitegen for Isabelle-DOF

Details

Provenance

Rene Thiemann <rene.thiemann@uibk.ac.at>

Authored on

Parents

rAFP13c520d51092: new entry: Isabelle DOF

Branches

Unknown

Tags

Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP99880f89e7fc: metadata and sitegen for Isabelle-DOF.Wed, May 15, 4:16 PM

Changes (63)

Path

Size

Isabelle_DOF.toml

brucker/

wolff/

data/

functional-automata

regular-sets/

Approximation_Algorithms.html

Combinatorics_Words.html

CubicalCategories.html

Efficient_Weighted_Path_Order.html

Frequency_Moments.html

Functional-Automata.html

HoareForDivergence.html

HyperHoareLogic.html

Hypergraph_Colourings.html

Isabelle_DOF.html

List_Update.html

OmegaCatoidsQuantales.html

Polygonal_Number_Theorem.html

Prim_Dijkstra_Simple.html

Propositional_Proof_Systems.html

Quantales_Converse.html

Regular-Sets.html

Relational_Cardinality.html

S_Finite_Measure_Monad.html

Standard_Borel_Spaces.html

Wieferich_Kempner.html

statistics/

topics/

computer-science/

semantics-and-reasoning/

rAFP99880f89e7fc

metadata/authors.toml

Loading...

metadata/entries/Isabelle_DOF.toml

Loading...

web/authors/brucker/index.html

Loading...

web/authors/brucker/index.xml

Loading...

web/authors/index.html

Loading...

web/authors/index.json

Loading...

web/authors/meric/index.html

Loading...

web/authors/meric/index.xml

Loading...

web/authors/wolff/index.html

Loading...

web/authors/wolff/index.xml

Loading...

web/data/keywords.json

Loading...

web/dependencies/functional-automata/index.html

Loading...

web/dependencies/functional-automata/index.xml

Loading...

web/dependencies/index.html

Loading...

web/dependencies/index.json

Loading...

web/dependencies/regular-sets/index.html

Loading...

web/dependencies/regular-sets/index.xml

Loading...

web/entries/Approximation_Algorithms.html

Loading...

web/entries/Catoids.html

Loading...

web/entries/Combinatorics_Words.html

Loading...

web/entries/CubicalCategories.html

Loading...

web/entries/Efficient_Weighted_Path_Order.html

Loading...

web/entries/Frequency_Moments.html

Loading...

web/entries/Functional-Automata.html

Loading...

web/entries/HoareForDivergence.html

Loading...

web/entries/HyperHoareLogic.html

Loading...

web/entries/Hypergraph_Colourings.html

Loading...

web/entries/Isabelle_DOF.html

Loading...

web/entries/List_Update.html

Loading...

web/entries/OmegaCatoidsQuantales.html

Loading...

web/entries/Polygonal_Number_Theorem.html

Loading...

web/entries/Prim_Dijkstra_Simple.html

Loading...

web/entries/Propositional_Proof_Systems.html

Loading...

web/entries/Quantales_Converse.html

Loading...

web/entries/Regular-Sets.html

Loading...

web/entries/Relational_Cardinality.html

Loading...

web/entries/S_Finite_Measure_Monad.html

Loading...

web/entries/Standard_Borel_Spaces.html

Loading...

web/entries/Transport.html

Loading...

web/entries/Wieferich_Kempner.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/sessions/index.xml

Loading...

web/sessions/isabelle_dof/index.html

Loading...

web/sitemap.xml

Loading...

web/statistics/index.html

Loading...

web/topics/computer-science/index.xml

Loading...

web/topics/computer-science/semantics-and-reasoning/index.html

Loading...

web/topics/computer-science/semantics-and-reasoning/index.xml

Loading...

web/topics/index.html

Loading...