Diffusion afp-devel b79723149239

Avoid overaggresive splitting.
b79723149239
Actions

Tags

None

Subscribers

None

Description

Avoid overaggresive splitting.

Details

Provenance

florian.haftmann

Authored on

Parents

rAFPa64cb91acc6c: more lemmas for distribution

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFPb79723149239: Avoid overaggresive splitting..Feb 17 2022, 8:42 PM

Changes (4)

Path

Size

thys/

Hidden_Markov_Models/

Hidden_Markov_Model.thy

Native_Word/

Code_Target_Word_Base.thy

Stirling_Formula/

Gamma_Asymptotics.thy

Word_Lib/

rAFPb79723149239

thys/Hidden_Markov_Models/Hidden_Markov_Model.thy

Loading...

thys/Native_Word/Code_Target_Word_Base.thy

Loading...

thys/Stirling_Formula/Gamma_Asymptotics.thy

Loading...

thys/Word_Lib/More_Word.thy

Loading...