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

592be..^{MetaCat_struct_p_product_exponent} 250.00
1f2a9..^{MetaFunctor_struct_e_struct_p_nonempty} 250.00
a53be..^{MetaCatSet_pullback_gen} 250.00
25c26..^{MetaCatSet_subobject_classifier} 250.00
833b6..^{MetaCatSmallSet_nno} 250.00
d6d09..^{MetaCat_struct_r_wellord_nno} 250.00
15618..^{MetaCatSet_pushout} 250.00
3aa34..^{MetaCat_struct_r_graph_subobject_classifier} 250.00
12c76..^{MetaCat_struct_u_nno} 250.00
e5b47..^{MetaCatSet_subobject_classifier_gen_ex} 250.00
bfc42..^{MetaCatHFSet_pushout} 250.00
dcba1..^{MetaCat_struct_p_nno} 250.00
1051b..^{MetaCatSet_nno_gen_ex} 250.00
e6d9e..^{MetaCat_struct_b_group_equalizer_constr} 125.00
994bf..^{MetaCat_struct_b_abelian_group_equalizer_constr} 125.00
f1b36..^{MetaCat_struct_b_loop_equalizer_constr} 125.00
1451d..^{MetaCat_struct_b_monoid_equalizer_constr} 125.00
9347c..^{MetaCat_struct_b_semigroup_equalizer_constr} 125.00
b8635..^{MetaCat_struct_b_quasigroup_equalizer_constr} 125.00
1d8ba..^{MetaCat_struct_r_equalizer_constr} 125.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88