Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMT4M..Conj_mul_SNo_prop_1__94__4 25.00
TMLxb..Conj_mul_SNo_assoc_lem2__63__5 25.00
TMQYM..Conj_mul_SNo_assoc_lem2__25__14 25.00
TMSdb..Conj_add_SNo_com__6__2 25.00
TMJX1..Conj_mul_SNo_Lt__35__7 25.00
TMb3G..Conj_mul_SNo_distrR__27__16 25.00
TMKUc..Conj_real_mul_SNo_pos__72__13 25.00
TMbuR..Conj_add_SNo_Lev_bd__3__0 25.00
TMdAn..Conj_double_SNo_min_1__5__5 25.00
TMLp5..Conj_mul_SNo_Lt__15__6 25.00
TMXzC..Conj_SNoS_omega_diadic_rational_p_lem__9__2 25.00
TMQHV..Conj_mul_SNo_assoc_lem2__51__15 25.00
TMYt1..Conj_pos_small_real_recip_ex__11__7 25.00
TMK91..Conj_mul_SNo_assoc_lem1__43__6 25.00
TMQC3..Conj_add_SNo_prop1__21__2 25.00
TMNPn..Conj_SNoCut_ext__2__5 25.00
TMVSq..Conj_mul_SNo_distrR__119__9 25.00
TMXzB..Conj_mul_SNo_com__2__9 25.00
TMXVx..Conj_mul_SNo_distrR__131__17 25.00
TMZJ3..Conj_mul_SNo_distrR__92__5 25.00

More open bounties
Collected bounties
ee513.. 280.00
1eae1.. 280.00
c1dc4.. 280.00
b202e.. 280.00
b202e.. 280.00
57953.. 280.00
c2569.. 280.00
6eafe.. 280.00
3f4ba.. 280.00
cc5f9.. 280.00
85942.. 280.00
60395.. 280.00
2ea5a.. 280.00
d9ebb.. 280.00
bf66e.. 280.00
d6ffc.. 280.00
1a212.. 280.00
7407a.. 280.00
8563b.. 280.00
1de24.. 280.00

More closed bounties

Open sum
308,364.07
Collected sum
209,545.88