Proofgold bounties

Description of bounties

Open bounties

TMQ7F..^{conj_DiophantineMod_TMQ7F47vCZzjDcFoUNM9WYZHxVViQ595q5E} 25.00
TMMWH..^{conj_AbstrHF_TMMWHMpfKqBWxtgUzssGwotRErQaNv4Q2Td} 25.00
TMLtF..^{conj_DiophantineMod_TMLtFk2evCKb1NuD5qsGSAjz1tCrj9oJ4c1} 25.00
TMUHH..^{conj_HOSetConstr_TMUHHcDXbMvkpAZQMTUdPnGsdUNQqqE2gt7} 25.00
TMTar..^{conj_DiophantineMod_TMTarbAE4C64ThXkxoLFzPrSLCzqKvLrk5F} 25.00
TMaMc..^{conj_DiophantineMod_TMaMc4AxPXVEeXCJ9CrkxpsexDSGD5yNQo7} 25.00
TMWmz..^{conj_DiophantineMod_TMWmzdgmPsQqyPnXMTQxNxtya9v4mkNgHNz} 25.00
TMFy5..^{conj_AbstrHF_TMFy5nGgzKTcSCHg5Tgwqx4XuZAdmmkcBVi} 25.00
TMaMW..^{conj_QBF_TMaMWP8JynPbXZw9FnM6XtkTS5t3NgCbpbK} 25.00
TMPBf..^{conj_CombUnif_TMPBf9uZ68N6jHmK7XM8cWLn57wnYz2VisK} 25.00
TMcLg..^{conj_DiophantineMod_TMcLgjDtqLx1v5BnrYrcuYUCmZiUWg8yJo7} 25.00
TMbpA..^{conj_CombUnif_TMbpAhFPDXkevYU1XqVo54afki6yten3SYE} 25.00
TMYXR..^{conj_QBF_TMYXRryBFqURy5evp3ExYPiaJqqhvzHmcF8} 25.00
TMMWE..^{conj_Random2_TMMWEccyydreNAuWgWygSa5dDuVJ9cHj5Wr} 25.00
TMHr1..^{conj_HOUnif_TMHr1RXeXUGxBaLvHFphdi3xZ1fxbfcNEKs} 25.00
TMZCH..^{conj_HOSetConstr_TMZCHMPWBRVDfk41jyc1NgaEyKPpa5P5nDU} 25.00
TMVix..^{conj_Random1_TMVixMcejXURDNZndYwXpogcwCpVfq4B7FG} 25.00
TMMCx..^{conj_AbstrHF_TMMCxKrsJD4Y6w5ddjy8KcrfPPSJ4GCuG6H} 25.00
TMRPt..^{conj_CombUnif_TMRPt7QF2xrE2USGo2m2DvNvPbPNeXG3uf1} 25.00
TMce4..^{conj_QBF_TMce4PwaRVc1DZGRfbXGBacqV4gTEHPkbFt} 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