Diffusion afp-devel a77232029011

Patching some proofs, for of_nat_int_ceiling
a77232029011
Actions

Tags

None

Subscribers

None

Description

Patching some proofs, for of_nat_int_ceiling

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP5f464d8f92c5: Deletion of material that had been moved to the distribution

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPa77232029011: Patching some proofs, for of_nat_int_ceiling.Mar 21 2024, 10:52 PM

Changes (6)

Path

Size

thys/

Amortized_Complexity/

Amortized_Examples.thy

Amortized_Framework0.thy

Expander_Graphs/

Expander_Graphs_Strongly_Explicit.thy

Frequency_Moments/

Frequency_Moment_2.thy

Median_Of_Medians_Selection/

Median_Of_Medians_Selection.thy

Root_Balanced_Tree/

Root_Balanced_Tree.thy

rAFPa77232029011

thys/Amortized_Complexity/Amortized_Examples.thy

Loading...

thys/Amortized_Complexity/Amortized_Framework0.thy

Loading...

thys/Expander_Graphs/Expander_Graphs_Strongly_Explicit.thy

Loading...

thys/Frequency_Moments/Frequency_Moment_2.thy

Loading...

thys/Median_Of_Medians_Selection/Median_Of_Medians_Selection.thy

Loading...

thys/Root_Balanced_Tree/Root_Balanced_Tree.thy

Loading...