Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
dab9b..
conj_AIM1_TMYrYV6dQQETe3M5wDEUfLHMjZd6uVvF5Fs
26.00
4373f..
conj_AIM1_TMYSkjE7xiE3AXWxrWpEYmrP3NUchqcdiL4
26.00
e076a..
conj_AIM2_TMWwV4efHFi2LLv9QKgUL9ud8qqhkv4oxYN
26.00
0d789..
conj_AIM1_TMYyRAGVCCErgRKem635UkwjdmZXp824sWL
26.00
c708d..
conj_AIM2_TMVGMBfMnA3vtcArb9jVtziVxBPFa3ifsEU
26.00
1c69a..
conj_AIM1_TMHPTYJxkySQqujZfrtjgZurHCBQDMGAe6t
26.00
bdcd0..
conj_AIM1_TMR8X2cvoUCKiMYpciv6vEBhUoS2ntwMfbi
26.00
5c1c1..
conj_AIM1_TMVAHhWif5bR8D1Hujg7iJqse6E73CRHmhy
26.00
2de9f..
conj_AIM1_TMcjjT6ZvdHUPvj1RyGhynD7n8TAqqq6Ckj
26.00
991ae..
conj_AIM1_TMTFoSec6wGYiuBPzmDe9jZGmAiR2ZqJwp1
26.00
a67c1..
conj_AIM2_TMZ8X51jdcgkDoyCMiHdbVnt37SoerpXtZq
26.00
57d11..
conj_AIM2_TMHuGPq2MVay8BqS4xC9fw5mBrFC3HFiLPV
26.00
81a4d..
conj_AIM2_TMXavpwFVWEE5kevsXxrKM4nVFJSF2Wc1cU
26.00
f02f0..
conj_AIM2_TMKJ8Pqqpb8VNxgHd3tvTkbT13zcDHzp65J
26.00
a18de..
conj_AIM1_TMULMa62cxv6vxY6r3nKLLB5kYAKqeq6VeH
26.00
04044..
conj_AIM1_TMP6KDtxpCDL369Fmd2WotNLZjq356sJ5xy
26.00
5dcf7..
conj_AIM2_TMJFsGgW13KeEWkoTgaoDPWoFgt7fy3RGxM
26.00
e0ada..
conj_AIM1_TMaA1cAFw6JfngE1byrPVrwJkHEDfDUftSz
26.00
85700..
conj_AIM2_TMd8AZZHm3s61JB6eS4AfeSjx72GmxuoQMx
26.00
97391..
conj_AIM2_TMaTBevZfhHpGYqnMQUpScvXXC3JuW6HSzH
26.00
More open bounties
Collected bounties
not_TwoRamseyProp_3_6_17
not_TwoRamseyProp_3_6_17
800.00
not_TwoRamseyProp_3_5_13
not_TwoRamseyProp_3_5_13
800.00
TwoRamseyProp_3_6_18
TwoRamseyProp_3_6_18
800.00
not_TwoRamseyProp_4_5_24
not_TwoRamseyProp_4_5_24
800.00
TwoRamseyProp_3_5_14
TwoRamseyProp_3_5_14
800.00
7f3dc..
MetaCat_struct_b_monoid_left_adjoint_forgetful
750.00
5da2f..
MetaCat_struct_c_left_adjoint_forgetful
750.00
1e88d..
MetaCat_struct_r_graph_left_adjoint_forgetful
750.00
8dcfe..
MetaCat_struct_r_per_left_adjoint_forgetful
750.00
82000..
MetaCat_struct_r_ord_left_adjoint_forgetful
750.00
a69df..
MetaCat_struct_u_bij_left_adjoint_forgetful
750.00
123cf..
MetaCat_struct_r_partialord_left_adjoint_forgetful
750.00
49304..
MetaCat_struct_u_idem_left_adjoint_forgetful
750.00
538f6..
MetaCat_struct_r_wellord_left_adjoint_forgetful
750.00
8822b..
MetaCat_struct_u_inj_left_adjoint_forgetful
750.00
ed3d2..
MetaCat_struct_u_left_adjoint_forgetful
750.00
57ed9..
MetaCat_struct_p_nonempty_left_adjoint_forgetful
750.00
80d3d..
MetaCat_struct_r_equivreln_left_adjoint_forgetful
750.00
c3ca2..
MetaCat_struct_p_left_adjoint_forgetful
750.00
301a5..
MetaCat_struct_r_left_adjoint_forgetful
750.00
More closed bounties
Open sum
304,239.66
Collected sum
209,544.88