Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMVwP.. 200.00
TMce4.. 200.00
TMUAz.. 200.00
TMQ16.. 200.00
TMcUV.. 200.00
TMSDL.. 200.00
TMcfj.. 200.00
TMNj9.. 200.00
TMUiR.. 200.00
TMcA1.. 200.00
TMNz4.. 200.00
TMJ2e.. 200.00
TMF4N.. 200.00
TMbtZ.. 200.00
TMQhG.. 200.00
RealsStruct_minus_leqRealsStruct_minus_leq 200.00
TMP1a.. 200.00
TMZwa.. 200.00
TMaF2.. 200.00
TMU4T.. 200.00

More open bounties

Collected bounties
6cf6d..Conj_SNo_eta__5__1 25.00
b9ae9..Conj_add_SNo_ordinal_SR__4__0 25.00
47fc9..Conj_eps_ordsucc_half_add__7__0 25.00
6cfb5..Conj_add_SNo_minus_SNo_linv__9__5 25.00
34c67..Conj_ctagged_eqE_Subq__1__1 25.00
3489a..Conj_minus_SNo_Lev_lem1__12__1 25.00
d71fb..Conj_PNo_strict_imv_pred_eq__6__3 25.00
90489.. 2.00
90489.. 1.00
181f2.. 1.00
085db.. 1.00
b7323.. 1.00
eeafe.. 1.00
d869b.. 1.00
748bf.. 0.01
53760.. 0.01
a1ac9.. 0.00

More closed bounties

Open sum
308,364.07
Collected sum
209,545.88