Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMVwP.. 200.00
TMce4.. 200.00
TMUAz.. 200.00
TMQ16.. 200.00
TMcUV.. 200.00
TMSDL.. 200.00
TMcfj.. 200.00
TMNj9.. 200.00
TMUiR.. 200.00
TMcA1.. 200.00
TMNz4.. 200.00
TMJ2e.. 200.00
TMF4N.. 200.00
TMbtZ.. 200.00
TMQhG.. 200.00
RealsStruct_minus_leqRealsStruct_minus_leq 200.00
TMP1a.. 200.00
TMZwa.. 200.00
TMaF2.. 200.00
TMU4T.. 200.00

More open bounties
Collected bounties
572d4..Conj_ordinal_ordsucc_In_eq__1__1 25.00
7cb2e..Conj_mul_SNo_eq__25__3 25.00
07010..Conj_PNoLt_trichotomy_or__7__2 25.00
a3487..Conj_mul_SNo_eq__18__4 25.00
ca45c..Conj_eps_ordsucc_half_add__11__1 25.00
d22e6..Conj_real_add_SNo__6__10 25.00
b53aa..Conj_add_nat_add_SNo__1__1 25.00
f4ed2..Conj_pos_real_recip_ex__2__4 25.00
a44cb..Conj_add_CSNo_com__1__2 25.00
d0ad0..Conj_add_SNo_ordinal_ordinal__4__1 25.00
85918..Conj_SNo_rec2_eq__1__1 25.00
e3ee4..Conj_SNoS_ordsucc_omega_bdd_drat_intvl__5__2 25.00
d2732..Conj_ZF_UPair_closed__1__1 25.00
687fa..Conj_minus_SNo_invol__8__0 25.00
9e6ca..Conj_SNoS_omega_diadic_rational_p_lem__10__12 25.00
8c732..Conj_add_SNo_ordinal_SL__11__9 25.00
3cff7..Conj_mul_SNo_SNoR_interpolate__4__3 25.00
d43ff..Conj_SNo_pos_eps_Le__1__3 25.00
79465..Conj_SNo_etaE__5__1 25.00
dcf98..Conj_SNo__eps___3__3 25.00

More closed bounties

Open sum
308,364.07
Collected sum
209,545.88