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