HomeIsabelle/Phabricator
Diffusion afp-devel 0bb96fc47d58

New entry Wetzel's Problem
0bb96fc47d58
Actions

Description

New entry Wetzel's Problem

Details

Provenance
nipkowAuthored on
Parents
rAFPe0eba4312903: metadata for Eval_FO
Branches
Unknown
Tags
Unknown

Changes (20)

PathSize
metadata/

rAFP0bb96fc47d58

View Options

metadata/metadata

Loading...
View Options

thys/ROOTS

Loading...
View Options

thys/Wetzels_Problem/ROOT

Loading...
View Options

thys/Wetzels_Problem/Wetzels_Problem.thy

Loading...
View Options

thys/Wetzels_Problem/document/root.bib

Loading...
View Options

thys/Wetzels_Problem/document/root.tex

Loading...
View Options

web/entries/Fourier.html

Loading...
View Options

web/entries/Irrationals_From_THEBOOK.html

Loading...
View Options

web/entries/Wetzels_Problem.html

Loading...
View Options

web/entries/Youngs_Inequality.html

Loading...
View Options

web/entries/ZFC_in_HOL.html

Loading...
View Options

web/index.html

Loading...
View Options

web/rss.xml

Loading...
View Options

web/statistics.html

Loading...
View Options

web/topics.html

Loading...