Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMH9X..Conj_real_mul_SNo_pos__71__18 25.00
TMWqB..Conj_mul_SNo_assoc_lem1__74__8 25.00
TMMwZ..Conj_SNoS_omega_SNoL_max_exists__1__0 25.00
TMdLK..Conj_mul_SNo_distrR__17__2 25.00
TMc2q..Conj_mul_SNo_assoc_lem1__27__30 25.00
TMKMj..Conj_mul_SNo_prop_1__23__4 25.00
TMNmB..Conj_mul_SNo_Lt__44__18 25.00
TMYAE..Conj_mul_SNo_distrR__76__12 25.00
TMVzG..Conj_mul_SNo_distrR__121__3 25.00
TMUkH..Conj_mul_SNo_assoc_lem1__52__10 25.00
TMYJy..Conj_mul_SNo_distrR__97__18 25.00
TMFXY..Conj_SNoS_omega_Lev_equip__17__14 25.00
TMPXw..Conj_mul_SNo_assoc_lem1__12__16 25.00
TMQQU..Conj_mul_SNo_assoc_lem1__10__16 25.00
TMN5i..Conj_mul_SNo_assoc_lem1__28__7 25.00
TMYFj..Conj_add_SNo_ordinal_SL__7__3 25.00
TMKoa..Conj_mul_SNo_eps_eps_add_SNo__5__0 25.00
TMNgx..Conj_SNoS_ordsucc_omega_bdd_above__4__0 25.00
TMWXE..Conj_mul_SNo_Lt__49__20 25.00
TMdzK..Conj_mul_SNo_prop_1__96__3 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