Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMSJj..Conj_mul_SNo_Lt__53__23 25.00
TMbz4..Conj_minus_SNo_Lev_lem1__10__2 25.00
TMXsA..Conj_PNo_rel_imv_ex__65__3 25.00
TMWPj..Conj_real_mul_SNo_pos__2__21 25.00
TMWq1..Conj_mul_SNo_Lt__54__4 25.00
TMHjs..Conj_mul_SNo_distrR__25__5 25.00
TMV3s..Conj_mul_SNo_distrR__93__0 25.00
TMErf..Conj_mul_SNo_distrR__118__12 25.00
TMQY4..Conj_mul_SNo_assoc_lem2__84__14 25.00
TMQ4B..Conj_mul_SNo_assoc_lem1__87__3 25.00
TMN87..Conj_mul_SNo_prop_1__67__5 25.00
TMY3C..Conj_mul_SNo_distrR__81__7 25.00
TMTZN..Conj_PNo_rel_imv_ex__73__4 25.00
TMGfu..Conj_mul_SNo_assoc_lem1__85__3 25.00
TMVsf..Conj_real_complete1__14__5 25.00
TMGGC..Conj_PNo_rel_split_imv_imp_strict_imv__3__0 25.00
TMMd4..Conj_mul_SNo_assoc_lem1__28__4 25.00
TMRTZ..Conj_add_SNo_Lev_bd__16__2 25.00
TMFUp..Conj_finite_ind__2__4 25.00
TMLtS..Conj_mul_SNo_assoc_lem1__89__7 25.00

More open bounties
Collected bounties
73a9e.. 280.00
2b798.. 280.00
16160.. 280.00
cdb7b.. 280.00
8f193.. 280.00
5ccec.. 280.00
e91a3.. 280.00
fd582.. 280.00
ff3aa.. 280.00
939ca.. 280.00
7fddd.. 280.00
54bfa.. 280.00
9e86e.. 280.00
8f9d0.. 280.00
41c8b.. 280.00
eb8ae.. 280.00
25211.. 280.00
99b52.. 280.00
ddb37.. 280.00
2769a.. 280.00

More closed bounties

Open sum
308,364.07
Collected sum
209,545.88