Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMVNA..Conj_PigeonHole_nat__5__1 25.00
TMd11..Conj_mul_SNo_assoc_lem1__52__25 25.00
TMHzH..Conj_mul_SNo_Lt__57__6 25.00
TMHEu..Conj_mul_SNo_prop_1__83__6 25.00
TMKfX..Conj_mul_CSNo_assoc__2__8 25.00
TMbk4..Conj_mul_SNo_distrR__131__12 25.00
TMZoN..Conj_real_mul_SNo_pos__117__15 25.00
TMU8U..Conj_real_mul_SNo_pos__21__1 25.00
TMWai..Conj_mul_SNo_assoc_lem2__42__4 25.00
TMZ2a..Conj_mul_SNo_prop_1__44__12 25.00
TMaot..Conj_add_SNo_Lt_subprop3c__2__7 25.00
TMRfA..Conj_mul_SNo_prop_1__44__19 25.00
TMcTC..Conj_real_mul_SNo_pos__113__6 25.00
TMHSB..Conj_mul_SNo_assoc_lem1__77__13 25.00
TMbRo..Conj_minus_SNoCut_eq_lem__11__5 25.00
TMLjy..Conj_PNo_rel_imv_ex__54__4 25.00
TMU4A..Conj_mul_SNo_distrR__48__15 25.00
TMEon..Conj_real_mul_SNo_pos__114__21 25.00
TMavq..Conj_real_mul_SNo_pos__73__16 25.00
TMYJt..Conj_mul_SNo_Lt__34__7 25.00

More open bounties
Collected bounties
9d5c8.. 280.00
246a2.. 280.00
68a30.. 280.00
cec58.. 280.00
4e1fd.. 280.00
2dc28.. 280.00
2435c.. 280.00
02223.. 280.00
f53ce.. 280.00
716c9.. 280.00
741e5.. 280.00
4f28e.. 280.00
c5192.. 280.00
f819c.. 280.00
55aff.. 280.00
4c9ff.. 280.00
670de.. 280.00
99d55.. 280.00
8ee8b.. 280.00
c9a16.. 280.00

More closed bounties

Open sum
308,364.07
Collected sum
209,545.88