Proofgold recent bounties

Recently placed bounties

98c5a.. 25.00
TMP2A..^{conj_HOSetConstr_TMP2Ab1Y4EgSLtxBNYGivSoyod81yGCMdBM} 25.00
5a4bf.. 25.00
efa1a.. 25.00
TMQ7z..^{conj_DiophantineMod_TMQ7znPeyLi9XbY4BH9e1YtyWVs7Ea5WjyR} 25.00
TMXAZ..^{conj_DiophantineMod_TMXAZSmjtCqSXEHZEf6AJuSeuP1h8VSEQux} 25.00
TMGPU..^{conj_Diophantine_TMGPUGcjarTu482hGpv8Hazg1PH2gj4TMai} 25.00
TMQj6..^{conj_AbstrHF_TMQj6dYX46Xcs78sfnZHBBXUa1sWkuSabjq} 25.00
TMcrQ..^{conj_CombUnif_TMcrQFVGZjJ9UTNniJ6utVMAwCVXBMzKkLF} 25.00
TMGH3..^{conj_Diophantine_TMGH3DrJgK9RHTXBaWvoqmu9ycBz2MU8tzr} 25.00
TMXce..^{conj_AbstrHF_TMXceDPPcWm5gPfmuLP8qoPqAXrroCDh4WZ} 25.00
3677d.. 25.00
TMJ8r..^{conj_HOUnif_TMJ8rR3cQjG5EcFKXBgK4faSnuwhU8ihZyR} 25.00
TMFhr..^{conj_DiophantineMod_TMFhr3QgHWFiLch2wyADNmE2ZQSHMr5zSQ8} 25.00
TMaRa..^{conj_CombUnif_TMaRawCefHM5f5eiPnQyBMHQh86np3yXfTq} 25.00
TMTR8..^{conj_Diophantine_TMTR8xr7Dn5SQHwf6yxsg6vD1NNFZ58Fdiu} 25.00
TMYWn..^{conj_Diophantine_TMYWnEuvgPxQWu8MPGgjtPyBSg8QdJEvw1n} 25.00
f02bb.. 25.00
TMR3Z..^{conj_AbstrHF_TMR3ZsGpNkisT1xznPq9LnTosLiJVE2oLRF} 25.00
TMWwe..^{conj_Diophantine_TMWwech5UJf6JMuCWn4rpNAKnParGDusxe4} 25.00

More recent placed

Recently collected bounties

955bd..^{MetaCat_struct_u_bij_initial} 25.00
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

Proofgold recent bounties

More recent placed

More recent collected