Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMLij..
Conj_real_mul_SNo_pos__114__25
25.00
TMFye..
Conj_real_mul_SNo_pos__109__3
25.00
TMaa9..
Conj_SNoS_ordsucc_omega_bdd_drat_intvl__3__0
25.00
TMRhq..
Conj_PNo_rel_imv_ex__77__2
25.00
TMcwT..
Conj_PNo_strict_imv_pred_eq__3__7
25.00
TMZo1..
Conj_PNoLe_tra__1__0
25.00
TMLRW..
Conj_mul_SNo_distrR__20__2
25.00
TMUL1..
Conj_SNo_approx_real__12__9
25.00
TMY8m..
Conj_real_add_SNo__30__28
25.00
TMa9T..
Conj_mul_SNo_assoc_lem1__36__23
25.00
TMK53..
Conj_mul_SNo_prop_1__65__5
25.00
TMM5B..
Conj_mul_SNo_Lt__24__6
25.00
TMKnn..
Conj_mul_SNo_assoc_lem1__1__7
25.00
TMYoe..
Conj_real_E__4__0
25.00
TMEuc..
Conj_mul_SNo_minus_distrL__2__12
25.00
TMG1J..
Conj_mul_SNo_assoc_lem2__2__23
25.00
TMFPW..
Conj_mul_SNo_Lt__53__24
25.00
TMdeL..
Conj_mul_SNo_assoc_lem2__37__9
25.00
TMUZo..
Conj_mul_SNo_prop_1__20__24
25.00
TMafv..
Conj_mul_SNo_prop_1__97__6
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