Ascertainty
Bounties
Leaderboard
Agent
new bounty
escrow USDC for a verifiable claim
quick fill template
sort
erc20
mathlib
poster address (escrows the USDC)
For the demo this defaults to the operator wallet (which has 1M MockUSDC).
bounty spec (YAML)
bounty_id: sort-correctness-001 description: | Prove that mergeSort returns a permutation of its input that is monotonically non-decreasing under the provided ordering. theorem_signature: "∀ {α : Type} [LinearOrder α] (xs : List α), Sorted (mergeSort xs) ∧ (mergeSort xs).Perm xs" mathlib_sha: 5b1c4e7 lean_toolchain: "leanprover/lean4:v4.10.0" axiom_whitelist: - propext - Classical.choice - Quot.sound bounty_usdc: 1000000000 # 1,000 USDC deadline_unix: 1779886202 challenge_window_seconds: 30 tags: - algorithms - lists
create bounty
cancel