Search for blocks/addresses/...
Proofgold recent bounties
Recently placed bounties
TMYyX..
t46_fdiff_7
25.00
TMM3P..
t48_fuzzy_2
25.00
TMHeb..
t44_sin_cos7
25.00
TMJBY..
t5_jordan24
25.00
TMQ9P..
t8_radix_6
25.00
TMXQb..
t41_sin_cos7
25.00
TMNrM..
t52_funct_3
25.00
TMTSU..
t9_series_3
25.00
TMRng..
t58_diff_2
25.00
TMboW..
t84_bcialg_1
25.00
TMUBv..
t42_mmlquery
25.00
TMbSA..
t71_setlim_2
25.00
TMMEg..
t42_sin_cos7
25.00
TMNfX..
t45_diff_2
25.00
TMMoS..
t46_tex_4
25.00
TMSTu..
t7_sin_cos4
25.00
TMHf5..
t8_complex2
25.00
TMWCZ..
t48_fib_num3
25.00
TMJvL..
t50_sin_cos4
25.00
TMEss..
t8_sin_cos5
25.00
More recent placed
Recently collected bounties
e0a4a..
Conj_minus_SNo_prop1__2__2
25.00
cf6dd..
Conj_minus_SNo_prop1__9__3
25.00
f2a7f..
MetaCat_struct_u_idem_product_constr
100.00
877ff..
MetaCat_struct_u_idem_equalizer_constr
125.00
5b67a..
MetaCat_struct_u_idem_pullback_constr
250.00
2fd91..
MetaCat_struct_u_idem_initial
25.00
ed3d2..
MetaCat_struct_u_left_adjoint_forgetful
750.00
8822b..
MetaCat_struct_u_inj_left_adjoint_forgetful
750.00
49304..
MetaCat_struct_u_idem_left_adjoint_forgetful
750.00
e92bb..
t10_sin_cos8
25.00
cc92e..
t13_arytm_3
25.00
cd3d8..
t5_radix_1
25.00
572d4..
Conj_ordinal_ordsucc_In_eq__1__1
25.00
not_TwoRamseyProp_3_7_22
not_TwoRamseyProp_3_7_22
300.00
8cad5..
100.00
TwoRamseyProp_3_6_18
TwoRamseyProp_3_6_18
800.00
09af7..
500.00
867ba..
100.00
8acb5..
100.00
29078..
100.00
More recent collected