Code

Verification#5

Code

Open

RobertoGonzalesMatos wants to merge 3 commits intomainbinpash/aggregators:mainfrom verificationbinpash/aggregators:verificationCopy head branch name to clipboard

+379

Commits

Commits on Oct 3, 2024

• Initialize Lean project

  qiaochloe

  committed
  799e6c3

  Copy full SHA for 799e6c3

Commits on Oct 4, 2024

• Add proof for sort aggregator

  qiaochloe

  committed
  5139777

  Copy full SHA for 5139777

Commits on Oct 16, 2024

• Add utilities and the sort -n aggregator

  qiaochloe

  committed
  ba3019e

  Copy full SHA for ba3019e