Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMLrg..Conj_real_mul_SNo_pos__87__14 25.00
TMLhV..Conj_mul_SNo_eq_3__15__4 25.00
TMN9n..Conj_mul_SNo_assoc_lem2__97__24 25.00
TMaKC..Conj_mul_SNo_assoc_lem1__75__9 25.00
TMJim..Conj_ordinal_famunion__2__0 25.00
TMJBV..Conj_mul_SNo_distrR__27__13 25.00
TMaBT..Conj_real_mul_SNo_pos__2__22 25.00
TMWNj..Conj_mul_SNo_distrR__56__5 25.00
TMYzh..Conj_mul_SNo_Lt__33__21 25.00
TMMkV..Conj_nat_setsum1_ordsucc__1__0 25.00
TMX4a..Conj_mul_SNo_assoc_lem1__59__7 25.00
TMPU9..Conj_mul_SNo_distrR__85__18 25.00
TMGyw..Conj_real_mul_SNo_pos__100__13 25.00
TMUPB..Conj_mul_SNo_distrR__74__5 25.00
TMRAz..Conj_mul_SNo_assoc_lem2__60__9 25.00
TMXud..Conj_double_SNo_min_1__5__6 25.00
TMHTn..Conj_mul_SNo_SNoL_interpolate__3__2 25.00
TMRCk..Conj_mul_SNo_distrR__73__19 25.00
TMaV2..Conj_mul_SNo_assoc_lem2__9__6 25.00
TMJh7..Conj_mul_SNo_distrR__81__19 25.00

More open bounties
Collected bounties
585e5.. 280.00
e5fe5.. 280.00
3e118.. 280.00
4c6a1.. 280.00
b5f99.. 280.00
39a86.. 280.00
f0c39.. 280.00
b434c.. 280.00
740a6.. 280.00
07b9c.. 280.00
625b8.. 280.00
9ae00.. 280.00
1ce71.. 280.00
2152d.. 280.00
41b71.. 280.00
38799.. 280.00
595a8.. 280.00
1e12d.. 280.00
745b7.. 280.00
bb68d.. 280.00

More closed bounties

Open sum
308,364.07
Collected sum
209,545.88