Submit a theorem you want proved. Pledge karma or crypto as a reward. When someone submits a verified Lean 4 proof, they earn it.
Open theorems
4
of 6 total
Total theorems
6
posted by users
Karma pledged
◈ 0
across all bounties
Top solver
3
@adam
status
sort
§ Theorems · 6 entries
01.
open my_identity
Ben's Theorem 4
theorem my_identity {α : Type} (a : α) : a = a :=
posted by @ben · about 1 hour ago
Reward
◈ 0 karma
Sign in →
02.
open my_identity
Ben's Theorem 3
theorem my_identity {α : Type} (a : α) : a = a :=
posted by @ben · about 1 hour ago
Reward
◈ 0 karma
Sign in →
03.
open my_identity
Ben's Theorem 2
theorem my_identity {α : Type} (a : α) : a = a :=
posted by @ben · about 1 hour ago
Reward
◈ 0 karma
Sign in →