Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMRCG..
Conj_real_mul_SNo_pos__71__3
25.00
TMHMz..
Conj_mul_SNo_prop_1__51__0
25.00
TMRzo..
Conj_mul_SNo_distrR__64__17
25.00
TMN4v..
Conj_mul_SNo_assoc_lem1__3__17
25.00
TMTgv..
Conj_mul_SNo_distrR__20__20
25.00
TMKqv..
Conj_mul_SNo_distrR__32__22
25.00
TMXPs..
Conj_pos_small_real_recip_ex__17__7
25.00
TMQa9..
Conj_mul_SNo_assoc_lem1__38__11
25.00
TMMiW..
Conj_minus_SNo_Lev_lem1__12__5
25.00
TMN7c..
Conj_mul_SNo_distrR__116__7
25.00
TMR6j..
Conj_real_add_SNo__7__0
25.00
TMbxG..
Conj_mul_SNo_distrR__108__2
25.00
TMdsZ..
Conj_mul_SNo_assoc_lem1__59__2
25.00
TMHF5..
Conj_mul_SNo_assoc_lem2__94__7
25.00
TMZZU..
Conj_real_mul_SNo_pos__10__12
25.00
TMKFS..
Conj_real_mul_SNo_pos__70__1
25.00
TMaXo..
Conj_mul_SNo_assoc_lem1__47__5
25.00
TMQTB..
Conj_real_mul_SNo_pos__129__4
25.00
TMazB..
Conj_mul_SNo_distrR__2__24
25.00
TMTv1..
Conj_mul_SNo_eq__6__0
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