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

8d752..^{MetaCat_struct_u_idem_nno} 250.00
e5c69..^{MetaCat_struct_r_ord_pushout_constr} 250.00
6bf66..^{MetaCat_struct_r_partialord_nno} 250.00
ee3b3..^{MetaCat_struct_r_wellord_pullback_constr} 250.00
d4e5c..^{MetaCat_struct_r_wellord_pushout_constr} 250.00
95edd..^{MetaCat_struct_r_ord_pullback_constr} 250.00
e7f7d..^{MetaCat_struct_r_equivreln_pullback_constr} 250.00
9460d..^{MetaCat_struct_r_wellord_product_exponent} 250.00
d1a34..^{MetaCat_struct_r_partialord_pullback_constr} 250.00
d432e..^{MetaCat_struct_r_ord_product_exponent} 250.00
7f417..^{MetaCat_struct_r_product_exponent} 250.00
7d132..^{MetaCat_struct_r_per_nno} 250.00
97ee8..^{MetaCat_struct_r_per_product_exponent} 250.00
1a527..^{MetaCat_struct_r_ord_nno} 250.00
b3083..^{MetaCatSmallSet_pushout} 250.00
0e563..^{MetaCatSet_nno} 250.00
8ba3f..^{MetaCat_struct_p_pullback_constr} 250.00
1810c..^{MetaCatSet_product_exponent} 250.00
32b3d..^{MetaCatSet_product_exponent_gen} 250.00
e25fa..^{MetaCat_struct_p_nonempty_product_exponent} 250.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88