Proofgold bounties

Description of bounties

Open bounties

TMSHC..^{conj_HOUnif_TMSHCJVyGnD2QE5Hy9z23doWL14eRD23jyp} 25.00
TMY5X..^{conj_Diophantine_TMY5XeFV33CsuFTjA2Ce6A8X8Gq6E9brMaE} 25.00
TMQbz..^{conj_Diophantine_TMQbzMR1mjMRuGnFyfACUM7DrNcsc9QQLxc} 25.00
TMap9..^{conj_CombUnif_TMap9F47AzS5GWLNWGxK6uDUdyyv9eZMGwZ} 25.00
TMbbq..^{conj_DiophantineMod_TMbbqVK1bBaeTwczuMjav1NXtwLpPDFWFtt} 25.00
TMWhv..^{conj_HOSetConstr_TMWhvSB3qF4baQJU9Yo9ibyVK2NZAmare6G} 25.00
TMXq4..^{conj_CombUnif_TMXq48A9aUyUARuhntu3V2i2CfmtJEzeDS2} 25.00
TMGzU..^{conj_QBF_TMGzUBAMHYSobp7963b3rYqmCprXR9i32F9} 25.00
TMbKT..^{conj_Diophantine_TMbKThqVWkHP9rStDMzfHU9PFZ64rj1vqmb} 25.00
TMPi4..^{conj_QBF_TMPi4kqXP2WvnJhmA7PGjU1JtbcbUQsaPQi} 25.00
TMXTV..^{conj_Random1_TMXTV4Fw4XHL9DUv41yYzCoLRAefmmx8ohs} 25.00
TMW1A..^{conj_DiophantineMod_TMW1A96m4k8UmGT6aywYbeHwayMJdsZBLTp} 25.00
TMdU8..^{conj_Diophantine_TMdU8jhBPtEtWAV54fdA6UgdQL13LyviubA} 25.00
TMcoR..^{conj_Diophantine_TMcoRzDy8RniZME1yhdFZyGFSgxaotCNPKW} 25.00
TMZt9..^{conj_Diophantine_TMZt9zvCVt1guuL5QmrC6ghHuEEYRiYTF54} 25.00
TMH2H..^{conj_QBF_TMH2H6dF39XeScZGoz87DuumUZ6cCQmghny} 25.00
TMdhx..^{conj_Diophantine_TMdhxf8LAbsqsSgsZZGU7w3t3nvzmrp9vBg} 25.00
TMddq..^{conj_DiophantineMod_TMddqRNE9fW1cQgAgbKBAWyV41pN1wHeRfx} 25.00
TMHZr..^{conj_Diophantine_TMHZruchMEZEXbdqaZZCJcvtahzLK4u41Xk} 25.00
TMZ4j..^{conj_AbstrHF_TMZ4jiW4jyWfFwfAwfQbM5L8pvFr25dKLYt} 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