Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMYzb..
200.00
TMdZx..
200.00
TMJKr..
200.00
TMV3d..
200.00
TMJAN..
200.00
TMTHz..
200.00
TMM6a..
200.00
TMHsU..
200.00
TMMCh..
200.00
TMaWc..
200.00
TMRaU..
200.00
TMJzR..
200.00
TMRZF..
200.00
TMSSt..
200.00
TMU92..
FermatsLastTheorem3
130.00
42fc4..
aK1
130.00
eac1e..
aa1
130.00
975e1..
com__aa1
130.00
79b0e..
middle_Bol__aa1
130.00
edea9..
KK_Kcom__aa1
130.00
More open bounties
Collected bounties
3816f..
Conj_mul_SNo_eq__22__3
25.00
5101e..
Conj_mul_SNo_SNoL_interpolate__5__9
25.00
35556..
Conj_real_add_SNo__18__6
25.00
61455..
Conj_restr_SNo__1__2
25.00
98ac0..
Conj_KnasterTarski_set__3__0
25.00
59aa9..
Conj_real_add_SNo__40__19
25.00
4d514..
Conj_add_SNo_ordinal_SL__14__0
25.00
bce5d..
Conj_real_add_SNo__41__9
25.00
9e3c5..
Conj_real_mul_SNo_pos__132__4
25.00
7312b..
Conj_real_add_SNo__44__17
25.00
aa8d2..
Conj_real_add_SNo__45__16
25.00
0b6fe..
Conj_int_add_SNo__1__1
25.00
d0d3d..
Conj_minus_SNo_prop1__5__9
25.00
e4f91..
Conj_mul_SNo_eq__20__3
25.00
63f7a..
Conj_ordinal_SNoLev_max_2__5__0
25.00
7bd1d..
Conj_double_eps_1__1__1
25.00
33d61..
Conj_PNo_bd_In__1__3
25.00
59fb3..
Conj_mul_SNo_oneR__3__0
25.00
85401..
Conj_minus_SNo_Lev_lem1__15__4
25.00
c3218..
Conj_add_SNo_SNoS_omega__1__2
25.00
More closed bounties
Open sum
308,364.07
Collected sum
209,545.88