Proofgold recent bounties

Recently placed bounties

TMJzf..^{conj_HOUnif_TMJzf7N1RoNQEQBybrny5WCaow5kU4BpUGw} 25.00
TMUtN..^{conj_CombUnif_TMUtNaFAFPEjt9H7ck9oZsPAxRuDftJW1C1} 25.00
TMREi..^{conj_Diophantine_TMREiahnH3bYL6WS2rfsqaFDZRkd6N2C2pR} 25.00
TMQ8Y..^{conj_AbstrHF_TMQ8YMpcc6otJGo5ig6eZztM1raUxB1VZd7} 25.00
TMUDa..^{conj_DiophantineMod_TMUDaoJyjvTnGELebiwiq5dUB8FREsrE3xg} 25.00
d22fa.. 25.00
TMZDF..^{conj_HOSetConstr_TMZDFW6pMNWz7vpxXhhZwdjfnM6K7Yz1czg} 25.00
3f0d2.. 25.00
8c107.. 25.00
TMMX4..^{conj_DiophantineMod_TMMX4SWY8Vuw4Hkf8XrdYXSNgSpSvYbfF46} 25.00
TMH4Z..^{conj_Random1_TMH4ZacEkoR1PKiEftwQYVDcNKBwmTu9Msn} 25.00
TMX3u..^{conj_DiophantineMod_TMX3u2eDxyXiEcfZ5FvY7tKY1dAiS1E97xX} 25.00
TMWA2..^{conj_Diophantine_TMWA2eiKHNypWTfGkogq4bcTC4kyvPKozaj} 25.00
TMS3q..^{conj_Diophantine_TMS3qsAX2HUDWJcRso1MqQJqdyoyuD3NX8G} 25.00
cae9a.. 25.00
d1570..^{conj_DiophantineMod_TMbjvWwmC4Kb1W8QLBAEDLjvep81JLg9gmN} 25.00
TMcAt..^{conj_Diophantine_TMcAtKJ4pW3P9UHUEhQnLrt4q6pokjZo2s2} 25.00
TMasi..^{conj_AbstrHF_TMasiMMQCzjU6xnuoQytrmuAsNGmTduLQdo} 25.00
2b70d.. 25.00
TMSrR..^{conj_AbstrHF_TMSrRU1qadDKJRBTEpzwu1TMt72rRNWUth4} 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