Diffusion afp-devel 40bffd87d285

added missing file; simplified proofs
40bffd87d285
Actions

Tags

None

Subscribers

None

Description

added missing file; simplified proofs

Details

Provenance

Authored on

Parents

rAFP84b1cb16aaf8: simplified proof

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rAFP40bffd87d285: added missing file; simplified proofs.Fri, Apr 5, 3:37 PM

Changes (3)

Path

Size

thys/

Catalan_Numbers/

Stirling_Formula/

Gamma_Asymptotics.thy

Stirling_Formula.thy

rAFP40bffd87d285

thys/Catalan_Numbers/ROOT

Loading...

thys/Stirling_Formula/Gamma_Asymptotics.thy

Loading...

thys/Stirling_Formula/Stirling_Formula.thy

Loading...