Browse problems
2 problems
Python demo: factor 391
demo
Find two integers greater than 1 whose product is 391. The Python sibling of the Lean "factor 391" demo: same problem, checked by a small Python function…
Buyers offer
€10
no seller
Sellers ask
—
♥ 0
Python demo: 5 + 4
demo
The smallest possible problem, to try the platform's whole loop without real stakes: submit, get a verdict, list an ask, watch it trade. Any price on this…
Buyers offer
€10
no seller
Sellers ask
—
♥ 0