Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMG9U..
conj_HOUnif_TMG9UG9gejTg2YRpvaTUsWgLhkhPFUuPHpD
25.00
TMVDg..
conj_DiophantineMod_TMVDgxV4VuaU3TXUtcH7erFjnd9G5XXDnbn
25.00
TMU5m..
conj_CombUnif_TMU5mw86UtnaQZfFkJNHrUNk8undoMxCqsV
25.00
TMbar..
conj_DiophantineMod_TMbar7hpgD5LznjjHo4DC9HvkVhADYC7qY9
25.00
TMZVX..
conj_AbstrHF_TMZVXj5kwyMtxL3VhHRN8icXKApKG6eUpWt
25.00
TMMNP..
conj_CombUnif_TMMNPyUxVRHgD8t9AFPqdLUNB6MNjRXF9FQ
25.00
TMNDp..
25.00
TMGZa..
conj_HOSetConstr_TMGZaijGfKWz2EtBq9bGYmmMUrY3p6uYAe1
25.00
TMM3Z..
conj_DiophantineMod_TMM3ZpQGE2owADjy2D4WQsx9GxvK2idqP28
25.00
TMYnC..
conj_QBF_TMYnCA1K5NRGjXLiyJpTSLored7ATHbErRn
25.00
TMP79..
conj_CombUnif_TMP79VcPimyvfjPdvqYrc1WSGGMW6atgEQq
25.00
TMFu7..
conj_CombUnif_TMFu7TWsS36qG8qxmjp3GVPQeLiqikP6bnD
25.00
TMYb1..
conj_DiophantineMod_TMYb1WByyP7SEEdgBEACQcXceHog3XeJjHH
25.00
TMLDs..
conj_AbstrHF_TMLDsWHYRtA2jwaU3YjvuRZBwdZR4sYxFew
25.00
TMSvt..
conj_HOSetConstr_TMSvtuhMbkD3oQEuYgshv9CjdavromUpk5C
25.00
TMEkN..
conj_DiophantineMod_TMEkNgafZMmQhbkFQH4BjuPc1hDoUZqrGfk
25.00
TMXUs..
conj_AbstrHF_TMXUsaeHjGJursPKHXiSzF4g6LmjuiydLQM
25.00
TMFLK..
conj_DiophantineMod_TMFLKLzzeeuZe7CN2pNCJ7ZLizgtNS1UEoD
25.00
TMM8Z..
conj_HOSetConstr_TMM8Zgo2HfET49AmRcEhRu1T25nTyiwJ5Fu
25.00
TMQmg..
conj_AbstrHF_TMQmg4YkzJWeRBkuYz2phLDDqqTUSWkLE7y
25.00
More open bounties
Collected bounties
814b8..
Conj_PigeonHole_nat_bij__2__2
25.00
164f1..
Conj_int_mul_SNo__3__2
25.00
d6042..
Conj_real_add_SNo__40__2
25.00
31641..
Conj_add_CSNo_assoc__2__4
25.00
0e33e..
Conj_real_add_SNo__33__2
25.00
712f0..
Conj_mul_SNo_eq__19__1
25.00
fb18d..
Conj_SNo_approx_real_rep__1__0
25.00
786e0..
Conj_real_add_SNo__37__9
25.00
65298..
Conj_SNo_etaE__5__0
25.00
d2f6b..
Conj_add_SNo_ordinal_ordinal__4__2
25.00
68a43..
Conj_mul_SNo_eq__19__2
25.00
ec53b..
Conj_real_add_SNo__36__15
25.00
3aca5..
Conj_real_add_SNo__23__14
25.00
c87d9..
Conj_real_add_SNo__35__13
25.00
7e49d..
Conj_mul_SNo_eq__25__0
25.00
c4ebc..
Conj_real_add_SNo__43__10
25.00
df8dd..
Conj_add_SNo_ordinal_ordinal__3__3
25.00
3c9d2..
Conj_pos_real_recip_ex__1__3
25.00
f7761..
Conj_minus_SNo_Lev_lem1__12__3
25.00
da648..
Conj_minus_SNoCut_eq_lem__8__3
25.00
More closed bounties
Open sum
308,364.07
Collected sum
209,545.88