Proofgold recent bounties

Recently placed bounties

06f53..^{MetaCat_struct_c_T1_topology_coproduct_constr} 100.00
TMWYw..^{MetaCat_struct_b_monoid_pushout_constr} 250.00
05e4b..^{MetaCat_struct_c_initial} 25.00
TMXWm..^{MetaCat_struct_b_quasigroup_pushout_constr} 250.00
92cff..^{MetaCat_struct_c_topology_terminal} 25.00
TMZJf..^{MetaCat_struct_b_loop_coequalizer_constr} 125.00
TMdPV..^{MetaCat_struct_c_T1_topology_pushout_constr} 250.00
d652b..^{MetaCat_struct_b_quasigroup_pullback_constr} 250.00
674c6..^{MetaCat_struct_b_b_e_e_semiring_terminal} 25.00
TMUL7..^{MetaCat_struct_b_b_e_crng_equalizer_constr} 125.00
TMHDR..^{MetaCat_struct_b_b_e_e_coequalizer_constr} 125.00
TMTFx..^{MetaCat_struct_b_b_e_e_semiring_subobject_classifier} 250.00
TMPuc..^{MetaCat_struct_b_b_e_crng_pushout_constr} 250.00
121ce..^{MetaCat_struct_b_b_e_coproduct_constr} 100.00
c549e..^{MetaCat_struct_b_b_e_rng_terminal} 25.00
56fbd..^{MetaCat_struct_b_b_e_e_semiring_product_constr} 100.00
0e3a3..^{MetaCat_struct_b_b_e_crng_initial} 25.00
TMWUu..^{MetaCat_struct_b_b_e_crng_pullback_constr} 250.00
TMb7Q..^{MetaCat_struct_b_b_e_crng_subobject_classifier} 250.00
2d772..^{MetaCat_struct_b_b_e_initial} 25.00

More recent placed

Recently collected bounties
4b79b.. 280.00 94244.. 280.00 06930.. 280.00 b1974.. 280.00 8ee8b.. 280.00 99d55.. 280.00 716c9.. 280.00 cec58.. 280.00 68a30.. 280.00 246a2.. 280.00 9d5c8.. 280.00 db811.. 280.00 6f396.. 280.00 d8d89.. 280.00 54bb5.. 280.00 2883e.. 280.00 95a21.. 280.00 ae991.. 280.00 5819e.. 280.00 a3320.. 280.00 More recent collected

Proofgold recent bounties

More recent placed

More recent collected