feat(Algorithms/Lean): add timed insertion sort#553
Open
ps600779 wants to merge 1 commit intoleanprover:mainfrom
Open
feat(Algorithms/Lean): add timed insertion sort#553ps600779 wants to merge 1 commit intoleanprover:mainfrom
ps600779 wants to merge 1 commit intoleanprover:mainfrom
