Foundation.Cost.Examples

Example Worked Example: Balanced Parallel Sum Depth formalized

Example Worked Example: Constant-Space Boyer–Moore Majority formalized

Example Worked Example: Euclidean GCD Step Count formalized

Example Worked Example: Longest Common Subsequence DP Grid formalized

Example Worked Example: Memoized Fibonacci Footprint formalized

Example Worked Example: N-ary parList Depth Bound formalized

Example Worked Example: Quadratic Naive List Reversal formalized