Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMLZk..
Conj_mul_SNo_prop_1__68__13
25.00
TMQpd..
Conj_mul_SNo_prop_1__32__7
25.00
TMdEF..
Conj_PNo_lenbdd_strict_imv_extend0__9__0
25.00
TMHe6..
Conj_real_mul_SNo_pos__53__10
25.00
TMJWx..
Conj_mul_SNo_prop_1__62__10
25.00
TMFRF..
Conj_mul_SNo_distrR__127__7
25.00
TMaV8..
Conj_mul_SNo_Lt__42__12
25.00
TMPDc..
Conj_add_SNo_SNoL_interpolate__2__11
25.00
TMR12..
Conj_mul_SNo_assoc_lem1__43__19
25.00
TMPhg..
Conj_SNoCutP_SNoCut__9__3
25.00
TMKB3..
Conj_real_complete1__26__11
25.00
TMbub..
Conj_real_add_SNo__13__2
25.00
TMVRF..
Conj_mul_SNo_assoc_lem2__73__7
25.00
TMSBS..
Conj_mul_SNo_eq_3__8__2
25.00
TMNpW..
Conj_mul_CSNo_assoc__4__6
25.00
TMGvM..
Conj_add_CSNo_minus_CSNo_rinv__1__1
25.00
TMHm1..
Conj_mul_SNo_eq__24__3
25.00
TMWkP..
Conj_mul_SNo_eq_3__13__8
25.00
TMMyT..
Conj_pos_small_real_recip_ex__11__1
25.00
TMa7a..
Conj_SNo_approx_real__14__8
25.00
More open bounties
Collected bounties
c9b31..
280.00
6bbff..
280.00
47f54..
280.00
71e57..
280.00
c0597..
280.00
beb44..
280.00
e59a1..
280.00
4dd7a..
280.00
1e19a..
280.00
fb310..
280.00
8ff5a..
280.00
2dbc3..
280.00
a3320..
280.00
2ce76..
280.00
5819e..
280.00
73a98..
280.00
d58dd..
280.00
ae991..
280.00
95a21..
280.00
7a391..
280.00
More closed bounties
Open sum
308,364.07
Collected sum
209,545.88