Proofgold recent bounties

Recently placed bounties
5819e.. 280.00 73a98.. 280.00 d58dd.. 280.00 ae991.. 280.00 95a21.. 280.00 7a391.. 280.00 beb44.. 280.00 e59a1.. 280.00 4dd7a.. 280.00 1e19a.. 280.00 fb310.. 280.00 8ff5a.. 280.00 2dbc3.. 280.00 a3320.. 280.00 44fca.. 280.00 7853d.. 280.00 2aec9.. 280.00 8c737.. 280.00 a4380.. 280.00 cc96c.. 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