Proofgold bounties

Description of bounties

Open bounties

TMaZ6..^{conj_AbstrHF_TMaZ6izwx7ynyoJtRPMYKMo2NuBaKp18mnj} 25.00
TMReP..^{conj_AbstrHF_TMRePohUuhqWSrbHfgd9WRjSapn4erpgJfp} 25.00
TMawo..^{conj_HOUnif_TMawomFikFG6AD73TfqZzv95WnaMLfYycXT} 25.00
TMden..^{conj_Diophantine_TMdenW6bv6oLdfpSfRoViynFRaPfD4vEKCk} 25.00
TMboU..^{conj_Diophantine_TMboUDAmRuDUPVXGNYjcivXwYohdRhuSYi5} 25.00
TMNpY..^{conj_Diophantine_TMNpYwS1jkLUUJS1v6ph33tiE2ME7RFR9ra} 25.00
TMNEa..^{conj_Random1_TMNEa7dj5GTMAMRKgDFwhDUijDxdCcgJHbt} 25.00
TMSwG..^{conj_CombUnif_TMSwGx6Zm95DQdK2YiS65ZGpTW3DSpPM9SH} 25.00
TMJcL..^{conj_Diophantine_TMJcLk74BofA4pTQJ81Y1XpnZwTZJHD8iTc} 25.00
TMQie..^{conj_Diophantine_TMQie3tTFXvErfM7PhEd3C1yXw1LokM4cc3} 25.00
TMXwD..^{conj_Diophantine_TMXwDfTTVd5oJmZtPcUkd2g4dxNwg8zYKqi} 25.00
TMXno..^{conj_Diophantine_TMXnooxMX1mbeW4QFxYq6cMdrHQdc6QPQzu} 25.00
TMFgy..^{conj_QBF_TMFgySSbYB9e9WAcz5pUfwcwWjD4TSD46z7} 25.00
TMPp2..^{conj_DiophantineMod_TMPp2G2MSiFmnx13CCvF97GGJwBNSrimna7} 25.00
TMFvM..^{conj_CombUnif_TMFvMxDMuD16f7x7GcYcydj4QcqU2yCQrZD} 25.00
TMa2L..^{conj_QBF_TMa2LH58us8T6dUKpxm5ESmnuZLefA658at} 25.00
TMWr7..^{conj_DiophantineMod_TMWr747PGF4wEDTqXPPFe6riZLV9yLQNnTS} 25.00
TMd28..^{conj_DiophantineMod_TMd28i55vZSPSFCgr1AFdnTtw9j63tMoQsB} 25.00
TMKSU..^{conj_Diophantine_TMKSU9QQTHQLwZ8R5cs1uQqoHLAwPwS5HPP} 25.00
TMKYB..^{conj_Diophantine_TMKYBofZJ6p3n1veet1DGM8Z6gRznRqeqRz} 25.00

More open bounties

Collected bounties

8381c..^{MetaCatSet_pushout_gen} 250.00
2e08d..^{MetaCatHFSet_pullback} 250.00
29786..^{MetaCatHFSet_product_exponent} 250.00
ea037..^{MetaCatSet_nno_gen} 250.00
75a41..^{MetaCat_struct_u_pullback_constr} 250.00
97f16..^{MetaCat_struct_r_pullback_constr} 250.00
5b67a..^{MetaCat_struct_u_idem_pullback_constr} 250.00
6f6f3..^{MetaCat_struct_u_bij_pullback_constr} 250.00
a238a..^{MetaCat_struct_b_pullback_constr} 250.00
44067..^{MetaCat_struct_r_per_pullback_constr} 250.00
568d6..^{MetaCat_struct_r_ord_subobject_classifier} 250.00
7223a..^{MetaCatSmallSet_subobject_classifier} 250.00
37ab0..^{MetaCatSet_product_exponent_gen_setprod_setexp} 250.00
40b2c..^{MetaCat_struct_u_inj_pullback_constr} 250.00
b8863..^{MetaCat_struct_p_nonempty_nno} 250.00
bd9cd..^{MetaCatSet_subobject_classifier_gen} 250.00
fcaee..^{MetaCatSet_pullback} 250.00
596e3..^{MetaCatSmallSet_pullback} 250.00
ebc63..^{MetaCat_struct_p_nonempty_pullback_constr} 250.00
341a1..^{MetaCatHFSet_subobject_classifier} 250.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88