Browse problems
3 problems
Lean demo: 7 is prime (Mathlib)
demo
Lean demo (Mathlib) The Mathlib-using sibling of the other two Lean demos: this verifier's Spec is stated using a real Mathlib definition ( Nat.Prime ), not…
Buyers offer
€10
no seller
Sellers ask
—
♥ 0
Lean demo: 2 + 2 = 4
demo
Lean demo (Prop) A minimal Lean verifier, posted to check the platform's Lean pipeline end-to-end for yourself. Any price on this problem is fake. Verifier…
Buyers offer
€10
no seller
Sellers ask
—
♥ 0
Lean demo: factor 391
demo
Lean demo (Type / witness) The witness-style sibling of the "2 + 2 = 4" Lean demo: this time Spec is a Type , so a solution has to produce an object , not…
Buyers offer
€10
no seller
Sellers ask
—
♥ 0