Proofgold recent bounties

Recently placed bounties

TMWN1..^{conj_DiophantineMod_TMWN1bDw6DM2xW4DWz8ZTjxPxEx38rhJd6L} 25.00
TMNY4..^{conj_QBF_TMNY43Rcw1obwunCPKK3pCaacaDyCx7QiBA} 25.00
TMch9..^{conj_CombUnif_TMch9ePP7HTZ7UTSLFwYGnXfFVwZipJc8Tr} 25.00
TMLqt..^{conj_AbstrHF_TMLqtu3TzvWWrVfb15MoU7pvE6UrWrYaE8F} 25.00
TMcZY..^{conj_Diophantine_TMcZYVC7hy3eNn793gnkZfdecoWu6nENiVe} 25.00
d005f.. 25.00
991a7.. 25.00
TMWz2..^{conj_Diophantine_TMWz27vhyh7WVHYYiQenhJ3v5p8M9gLQZD9} 25.00
feff3.. 25.00
TMMkt..^{conj_CombUnif_TMMktK9Qk7qA5kGZNu1KXQrY7gQTPA5uNk6} 25.00
TMbnb..^{conj_DiophantineMod_TMbnbgW3ey548vtzZx9Fe79HJGWBaXTFVVY} 25.00
TMT9E..^{conj_Diophantine_TMT9EtLVyUsH71vG592pFtfWFvPG7c1Dtzo} 25.00
TMXHv..^{conj_CombUnif_TMXHv7tJzwDCgBfJhdh9zWHQQnMEdgvWDT7} 25.00
TMKS9..^{conj_AbstrHF_TMKS9kGp5WzMFSWgaRmTqaKpM4FRttQD3aa} 25.00
TMRN6..^{conj_Diophantine_TMRN6sJzhTDxCp8eDPr9CDqFCmXMMmgwCeo} 25.00
TMbz9..^{conj_AbstrHF_TMbz9LUrZWGQdiHiYC5TWE3FvNW1SZar8sH} 25.00
TMFAi..^{conj_DiophantineMod_TMFAiwcog9wsriKctQqSk3hMdfTn3S7dZBR} 25.00
TMcrk..^{conj_Random1_TMcrkeKGcN5jGcbstFaBW57AQ1Mu5MiF9CF} 25.00
74fdc.. 25.00
TMKkY..^{conj_HOSetConstr_TMKkYY3Na1xatB4nbxQ9gwqTWTFb2ef72bv} 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