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
307f0..
t6_xregular
25.00
2167e..
Conj_SNoS_omega_diadic_rational_p_lem__10__10
25.00
c2b6b..
Conj_add_SNo_cancel_L__2__3
25.00
e4ae8..
Conj_real_mul_SNo_pos__135__10
25.00
5ece1..
Conj_add_SNo_prop1__4__2
25.00
f1351..
Conj_ctagged_eqE_Subq__5__2
25.00
cf6dd..
Conj_minus_SNo_prop1__9__3
25.00
9d1d7..
Conj_minus_SNoCut_eq_lem__11__3
25.00
ec2d3..
Conj_PNo_rel_imv_ex__16__2
25.00
1dbb1..
Conj_real_add_SNo__10__7
25.00
06412..
Conj_real_add_SNo__6__6
25.00
27e21..
Conj_add_SNo_minus_Lt_lem__2__6
25.00
70a69..
Conj_add_SNo_com__2__3
25.00
694cf..
Conj_SNo_approx_real__10__10
25.00
75d78..
Conj_minus_add_SNo_distr__3__2
25.00
82613..
Conj_SNo_etaE__2__1
25.00
e0a4a..
Conj_minus_SNo_prop1__2__2
25.00
a5394..
Conj_ctagged_eqE_Subq__2__3
25.00
5c476..
Conj_real_add_SNo__36__12
25.00
ec8fd..
Conj_minus_SNo_prop1__5__7
25.00
More closed bounties
Open sum
308,364.07
Collected sum
209,545.88