Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMWkP..Conj_mul_SNo_assoc_lem2__13__8 25.00
TMFQa..Conj_mul_SNo_assoc_lem1__36__11 25.00
TMbtP..Conj_mul_SNo_assoc_lem2__86__1 25.00
TMSh2..Conj_mul_SNo_Lt__26__4 25.00
TMF7t..Conj_add_SNo_diadic_rational_p__1__11 25.00
TMczy..Conj_mul_SNo_distrR__137__3 25.00
TMUia..Conj_mul_SNo_assoc_lem2__71__8 25.00
TMLBT..Conj_SNoCutP_SNoCut__9__11 25.00
TMN8o..Conj_exp_SNo_1_bd__1__1 25.00
TMGvJ..Conj_mul_SNo_distrR__83__8 25.00
TMXho..Conj_add_SNo_prop1__13__13 25.00
TMXsi..Conj_add_SNo_assoc__3__0 25.00
TMQHv..Conj_mul_SNo_prop_1__65__15 25.00
TMVct..Conj_mul_SNo_assoc_lem1__73__3 25.00
TMc2S..Conj_mul_SNo_assoc_lem2__101__4 25.00
TMXPk..Conj_add_SNo_Lev_bd__23__3 25.00
TMKyh..Conj_mul_SNo_distrR__116__15 25.00
TMKDH..Conj_mul_SNo_prop_1__46__15 25.00
TMZJE..Conj_add_SNo_prop1__8__1 25.00
TMaKu..Conj_ZF_UPair_closed__5__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