Diffusion afp-devel f29eeda4f519

Tuned presentation of Buffon's needle
f29eeda4f519
Actions

Tags

None

Subscribers

None

Description

Tuned presentation of Buffon's needle

Details

Provenance

Authored on

Parents

rAFP5638327e57df: tuned

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rAFPf29eeda4f519: Tuned presentation of Buffon's needle.Mar 3 2021, 10:37 PM

Changes (2)

Path

Size

thys/

Buffons_Needle/

Buffons_Needle.thy

document/

rAFPf29eeda4f519

thys/Buffons_Needle/Buffons_Needle.thy

Loading...

thys/Buffons_Needle/document/root.tex

Loading...