Proofgold recent bounties

Recently placed bounties
f8cd3.. 280.00 32e32.. 280.00 7c33d.. 280.00 159df.. 280.00 cfb4a.. 280.00 79ec7.. 280.00 3e41f.. 280.00 9d36d.. 280.00 56bd6.. 280.00 da898.. 280.00 86b6f.. 280.00 2686c.. 280.00 e4055.. 280.00 7a1d8.. 280.00 49180.. 280.00 81bc9.. 280.00 498e5.. 280.00 1d20f.. 280.00 c671c.. 280.00 2e546.. 280.00 More recent placed

Recently collected bounties

89169..^{MetaCat_struct_r_graph_terminal} 25.00
32041..^{MetaCat_struct_u_bij_terminal} 25.00
19aaf..^{MetaCat_struct_b_quasigroup_terminal} 25.00
7fbaf..^{MetaCat_struct_b_loop_terminal} 25.00
3ab71..^{MetaCat_struct_b_quasigroup_initial} 25.00
501bf..^{MetaCat_struct_u_inj_product_constr} 100.00
6ce53..^{MetaCat_struct_u_bij_product_constr} 100.00
6133c..^{MetaCat_struct_b_loop_product_constr} 100.00
dd5dc..^{MetaCat_struct_b_quasigroup_product_constr} 100.00
24604..^{MetaCat_struct_u_bij_equalizer_constr} 125.00
0ba1a..^{MetaCat_struct_u_inj_equalizer_constr} 125.00
b8635..^{MetaCat_struct_b_quasigroup_equalizer_constr} 125.00
f1b36..^{MetaCat_struct_b_loop_equalizer_constr} 125.00
dcba1..^{MetaCat_struct_p_nno} 250.00
3aa34..^{MetaCat_struct_r_graph_subobject_classifier} 250.00
b8863..^{MetaCat_struct_p_nonempty_nno} 250.00
40b2c..^{MetaCat_struct_u_inj_pullback_constr} 250.00
6f6f3..^{MetaCat_struct_u_bij_pullback_constr} 250.00
7d132..^{MetaCat_struct_r_per_nno} 250.00
6bf66..^{MetaCat_struct_r_partialord_nno} 250.00

Proofgold recent bounties

More recent placed

More recent collected