feat(Algorithms): add BubbleSort formalization with correctness and time bounds #465

patternscientist wants to merge 2 commits intoleanprover:mainleanprover/cslib:mainfrom

Stanford-AI-for-LEAN-Club:bubble-sort-basicStanford-AI-for-LEAN-Club/cslib:bubble-sort-basicCopy head branch name to clipboard