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

9bff8.. 280.00
09df0.. 280.00
5303f.. 280.00
fe42e.. 280.00
5ca77.. 280.00
846a6.. 280.00
3b01f.. 280.00
2614c..^{MetaCat_struct_b_loop_pullback_constr} 250.00
d652b..^{MetaCat_struct_b_quasigroup_pullback_constr} 250.00
e443a..^{MetaCat_struct_b_abelian_group_pullback_constr} 250.00
f9bf8..^{MetaCat_struct_b_monoid_pullback_constr} 250.00
42863..^{MetaCat_struct_b_group_pullback_constr} 250.00
61ba2..^{MetaCat_struct_b_semigroup_pullback_constr} 250.00
eece9..^{MetaCat_struct_r_equivreln_nno} 250.00
31886..^{MetaCat_struct_r_graph_nno} 250.00
c2d12..^{MetaCat_struct_r_graph_pullback_constr} 250.00
fc83d..^{MetaCat_struct_u_inj_nno} 250.00
d2cf4..^{MetaCat_struct_r_wellord_subobject_classifier} 250.00
21b6c..^{MetaCat_struct_r_partialord_subobject_classifier} 250.00
cdd84..^{MetaCat_struct_u_bij_nno} 250.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88