Proofgold bounties

Description of bounties

Open bounties

TMXLY..^{conj_Diophantine_TMXLY2hgEzUPmLmPpNHFUceRScdbwDMGwJy} 25.00
TMd5F..^{conj_AbstrHF_TMd5FgbREUBe3vg3uqG9LvVgMzLGzH8aLMc} 25.00
TMMeQ..^{conj_HOSetConstr_TMMeQvB6Mj8fMYr979VNaBpNnL5Q5Q3LgZr} 25.00
TMRaZ..^{conj_DiophantineMod_TMRaZgkP8VxcNSrGDSdbtCQcxCYN72cShBn} 25.00
TMWNs..^{conj_DiophantineMod_TMWNsB4qPqBfBBow3gvT4t9sJC3KjptC3Aw} 25.00
TMUeu..^{conj_HOUnif_TMUeu3KRoD8P88zYES3wpLfH6Gd7ywuAgDm} 25.00
TMWDg..^{conj_Diophantine_TMWDg6pp9od2pP6pcGf51w8LrFAx277PzSv} 25.00
TMbWC..^{conj_QBF_TMbWCEm5VCdkHXj1eS3vdHiy36kX8hMzgzW} 25.00
TMPji..^{conj_AbstrHF_TMPjiBbUTEdLNd5QPQ7RRFYg4B9s5dxAYx1} 25.00
TMdHA..^{conj_HOSetConstr_TMdHA6wCoXw9XGVUkLCwocEhFbsJVcyhT4a} 25.00
TMEuv..^{conj_QBF_TMEuvmXzyyCjnTGauQhXWoq6TtupxUGubp8} 25.00
TMJ1U..^{conj_Diophantine_TMJ1URYkPvnFiYkfonowemiowfC2xepvKJS} 25.00
TMT5R..^{conj_DiophantineMod_TMT5R2eqZes7BSXha6Lme63sHStxN5EKMVM} 25.00
TMbh6..^{conj_Diophantine_TMbh6jTXQ6Ct7PsukoWLHvNm3PQaLXzpV1G} 25.00
TMLNG..^{conj_Diophantine_TMLNGtU67xqfAjKf4HZy2aCRcukDUtKWTkA} 25.00
TMNZY..^{conj_AbstrHF_TMNZY66tgprvH2ZRVi5rRtoUNh1KR6wZ2gj} 25.00
TMbzp..^{conj_Random2_TMbzpWP1ovCTofqRLe2Z5uiXKw5HLfpHcMb} 25.00
TMEk9..^{conj_DiophantineMod_TMEk93e38rNfZiDqwyUh4FDu88ULzwHtR7n} 25.00
TMWp6..^{conj_AbstrHF_TMWp6A99NZqFSaFtpx3vk27ivaLf2b8yijH} 25.00
TMTyy..^{conj_Random2_TMTyyAoB8dFJ6TkHrN3tVqidspTbNxbnRsy} 25.00

More open bounties

Collected bounties

4ce24..^{MetaCat_struct_b_group_terminal} 25.00
7fbaf..^{MetaCat_struct_b_loop_terminal} 25.00
43061..^{MetaCat_struct_b_monoid_initial} 25.00
19aaf..^{MetaCat_struct_b_quasigroup_terminal} 25.00
cae12..^{MetaCat_struct_u_idem_terminal} 25.00
32041..^{MetaCat_struct_u_bij_terminal} 25.00
fc401..^{MetaCat_struct_r_graph_initial} 25.00
d664c..^{MetaCat_struct_r_initial} 25.00
743bb..^{MetaCat_struct_r_per_initial} 25.00
89169..^{MetaCat_struct_r_graph_terminal} 25.00
f400a..^{MetaCat_struct_r_terminal} 25.00
021fd..^{MetaCat_struct_b_terminal} 25.00
f3af9..^{MetaCat_struct_r_partialord_initial} 25.00
955bd..^{MetaCat_struct_u_bij_initial} 25.00
2fd91..^{MetaCat_struct_u_idem_initial} 25.00
105dd..^{MetaCat_struct_r_wellord_initial} 25.00
bf553..^{MetaCat_struct_r_per_terminal} 25.00
ae77a..^{MetaCat_struct_r_equivreln_terminal} 25.00
adce2..^{MetaCat_struct_r_ord_initial} 25.00
128d6..^{MetaCat_struct_p_nonempty_terminal} 25.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88