Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMMYb..Conj_mul_SNo_assoc_lem1__2__27 25.00
TMQDi..Conj_real_complete1__12__2 25.00
TMTre..Conj_real_mul_SNo_pos__39__12 25.00
TMSQa..Conj_mul_SNo_assoc_lem2__6__14 25.00
TMHd3..Conj_SNo_approx_real_rep__14__4 25.00
TMKFZ..Conj_mul_SNo_minus_distrL__15__11 25.00
TMWkB..Conj_pos_small_real_recip_ex__28__6 25.00
TMcFG..Conj_PNo_rel_imv_ex__15__11 25.00
TMQdq..Conj_mul_SNo_distrR__138__6 25.00
TMXFv..Conj_mul_SNo_distrR__16__5 25.00
TMTVc..Conj_mul_SNo_assoc_lem2__81__19 25.00
TMUJE..Conj_ordinal_In_SNoLt__1__0 25.00
TMT7s..Conj_mul_SNo_prop_1__29__22 25.00
TMa4h..Conj_mul_SNo_assoc_lem2__79__19 25.00
TMbTn..Conj_PNo_rel_imv_ex__32__11 25.00
TMKbE..Conj_mul_SNo_prop_1__28__0 25.00
TMVZS..Conj_mul_SNo_distrR__90__15 25.00
TMMNu..Conj_real_mul_SNo_pos__93__1 25.00
TMHG7..Conj_real_add_SNo__29__22 25.00
TMEnu..Conj_mul_SNo_assoc_lem2__15__1 25.00

More open bounties
Collected bounties
1d20f.. 280.00
c671c.. 280.00
2e546.. 280.00
21ac2.. 280.00
814ab.. 280.00
b069b.. 280.00
1f155.. 280.00
c048a.. 280.00
3a9bd.. 280.00
0174d.. 280.00
26bca.. 280.00
75510.. 280.00
9e379.. 280.00
44fca.. 280.00
7853d.. 280.00
2aec9.. 280.00
8c737.. 280.00
a4380.. 280.00
cc96c.. 280.00
2e129.. 280.00

More closed bounties

Open sum
308,364.07
Collected sum
209,545.88