Search for blocks/addresses/...
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
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