Proofgold bounties

Description of bounties

Open bounties

TMFTn..^{conj_QBF_TMFTngJ6KfXz785Nimdxw19sxquRmrpKQaC} 25.00
TMYk2..^{conj_HOUnif_TMYk2EZFHY1VMSHmug9yxzktT7vY1Q5yVxC} 25.00
TMFXq..^{conj_DiophantineMod_TMFXqk7QA43LThGWvCZFAiD61RXdhPYpD6Q} 25.00
TMEj5..^{conj_DiophantineMod_TMEj5rL21oL5vR737h9mCZLza7jPcTz4G8W} 25.00
TMXiy..^{conj_DiophantineMod_TMXiyRgw3QcVHLyhRhG9aWyEN6TVfUA8rfW} 25.00
TMW7W..^{conj_DiophantineMod_TMW7WigEBXFNmWjLybn9FpogjZxzAByq9EG} 25.00
TMNDV..^{conj_DiophantineMod_TMNDVuJj4R7EFaHF2piuhLpZAsmEkMxr6uY} 25.00
TMYbj..^{conj_DiophantineMod_TMYbj2w4H6UVcFo1CdXkvpou1fE5bbnVvba} 25.00
TMPzY..^{conj_AbstrHF_TMPzYTMjxdo9nRwScxEHbEotrJD8JF8ZbKx} 25.00
TMM5C..^{conj_CombUnif_TMM5CWXXU8TQNpJSkqMyxCX2W7QFjZQRKKh} 25.00
TMYXU..^{conj_Random1_TMYXUPQjhRehxqq6sx1MSzgoN8azJABGN62} 25.00
TMcDS..^{conj_HOSetConstr_TMcDSicyK8qhEj9KgSAH4qVJbdK5nLj4wBp} 25.00
TMJvC..^{conj_AbstrHF_TMJvCWmRevG8icjVEpBJRtFGkHCJ3d19o2h} 25.00
TMHaX..^{conj_QBF_TMHaXMKEBF8NvBGqqyNHMPavREz3Kevj1pD} 25.00
TMZSu..^{conj_AbstrHF_TMZSuzGLegHu58Dqbbkz1GgG7mKHofbfiD5} 25.00
TMFoR..^{conj_AbstrHF_TMFoRMHKhZUDsvC7f2FQm6sZc68ECJZHnWW} 25.00
TMUP7..^{conj_QBF_TMUP7vVeqZrv52HHK58EEcZa7TKJ6grBBan} 25.00
TMG7D..^{conj_HOUnif_TMG7DDaevZyH1trku9P7fSaTVAvt3mSiA29} 25.00
TMN4S..^{conj_DiophantineMod_TMN4SrnDN3gFXuKAzeT7yUTM7SPNqisw7i4} 25.00
TMQSm..^{conj_HOSetConstr_TMQSmG5r8i9Z9LB749bpQHBiJRQ9fBj2sHJ} 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