Skip to content

feat(Foundations): define polynomial growth and relate it to big-O - #1067

Open
SamuelSchlesinger wants to merge 3 commits into
mainfrom
samschles/crypto-pr-05-polynomial-bound
Open

feat(Foundations): define polynomial growth and relate it to big-O#1067
SamuelSchlesinger wants to merge 3 commits into
mainfrom
samschles/crypto-pr-05-polynomial-bound

Update Cslib/Foundations/Data/Nat/PolynomialBound.lean

0cb778d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar