Proofgold recent bounties

Recently placed bounties

79bf3..^{MetaCat_struct_b_b_r_e_e_ordered_field_product_constr} 100.00
82d73..^{MetaCat_struct_b_b_e_e_cring_product_constr} 100.00
65da8..^{MetaCat_struct_b_b_e_e_field_product_exponent} 250.00
TMaSf..^{MetaCat_struct_b_b_e_e_field_subobject_classifier} 250.00
TMQA1..^{MetaCat_struct_b_b_r_e_e_subobject_classifier} 250.00
TMct8..^{MetaCat_struct_b_b_e_e_ring_equalizer_constr} 125.00
3fbc7..^{MetaCat_struct_b_b_e_e_ring_nno} 250.00
67a9f..^{MetaCat_struct_b_b_e_e_cring_product_exponent} 250.00
TMJTE..^{MetaCat_struct_b_b_e_e_ring_pullback_constr} 250.00
d5ab2..^{MetaCat_struct_b_b_r_e_e_initial} 25.00
4e49d..^{MetaCat_struct_b_b_e_e_ring_coproduct_constr} 100.00
ad01d..^{MetaCat_struct_b_b_e_e_field_coproduct_constr} 100.00
TMZK7..^{MetaCat_struct_b_b_e_e_ring_subobject_classifier} 250.00
TMdH5..^{MetaCat_struct_b_b_e_e_field_equalizer_constr} 125.00
TMH9P..^{MetaCat_struct_b_b_e_e_cring_pullback_constr} 250.00
a4533..^{MetaCat_struct_b_b_r_e_e_product_exponent} 250.00
TMbrr..^{MetaCat_struct_b_b_r_e_e_ordered_field_subobject_classifier} 250.00
c63e1..^{MetaCat_struct_b_b_e_e_cring_coproduct_constr} 100.00
7c52e..^{MetaCat_struct_b_b_r_e_e_ordered_field_left_adjoint_forgetful} 750.00
e5992..^{MetaCat_struct_b_b_r_e_e_ordered_field_terminal} 25.00

More recent placed

Recently collected bounties
e5f78.. 280.00 36118.. 280.00 47f84.. 280.00 c3676.. 280.00 091fd.. 280.00 a13e1.. 280.00 55aff.. 280.00 02223.. 280.00 4e1fd.. 280.00 f9fd3.. 280.00 16a22.. 280.00 ed1ff.. 280.00 3e753.. 280.00 2b1ea.. 280.00 d58dd.. 280.00 2ce76.. 280.00 71e57.. 280.00 c671c.. 280.00 56bd6.. 280.00 cfb4a.. 280.00 More recent collected

Proofgold recent bounties

More recent placed

More recent collected