Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
TMZmg..Conj_mul_SNo_assoc_lem1__65__9 25.00
c2b6b..Conj_add_SNo_cancel_L__2__3 25.00
e4ae8..Conj_real_mul_SNo_pos__135__10 25.00
5ece1..Conj_add_SNo_prop1__4__2 25.00
TMHYk..Conj_real_complete1__3__1 25.00
TMW92..Conj_mul_SNo_com__2__14 25.00
TMRo6..Conj_real_mul_SNo_pos__93__16 25.00
TMYpZ..Conj_mul_SNo_SNoL_interpolate__11__0 25.00
TMbHY..Conj_mul_SNo_distrR__16__14 25.00
f1351..Conj_ctagged_eqE_Subq__5__2 25.00
TMVes..Conj_SNoCut_ext__2__3 25.00
TMaEB..Conj_mul_SNo_eq_3__2__9 25.00
TMPVa..Conj_real_complete1__25__7 25.00
TMVyc..Conj_SNo_triangle2__2__0 25.00
TMS7Q..Conj_mul_SNo_assoc_lem2__28__17 25.00
TMTQd..Conj_mul_SNo_prop_1__48__5 25.00
TMMs5..Conj_mul_SNo_assoc_lem1__58__7 25.00
TMULk..Conj_PNo_lenbdd_strict_imv_extend1__2__5 25.00
TMbKd..Conj_mul_SNo_eq__21__4 25.00
TMchh..Conj_mul_SNo_assoc_lem2__75__19 25.00

More recent placed

Recently collected bounties
c4dc5.. 26.00
d4568.. 26.00
90d1c.. 26.00
37460.. 26.00
03f1a.. 26.00
e41a9.. 26.00
5c3c2.. 26.00
b5b9b.. 26.00
e9785..MetaCat_struct_b_initial 25.00
75fea..MetaCat_struct_u_terminal 25.00
1e2ae..MetaCat_struct_u_initial 25.00
021fd..MetaCat_struct_b_terminal 25.00
150e3..MetaCat_struct_b_product_constr 100.00
a9079..MetaCat_struct_u_product_constr 100.00
ee44b..MetaCat_struct_u_equalizer_constr 125.00
c368b..MetaCat_struct_b_equalizer_constr 125.00
a238a..MetaCat_struct_b_pullback_constr 250.00
75a41..MetaCat_struct_u_pullback_constr 250.00
02ee4.. 26.00
6c796.. 26.00

More recent collected