Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
c1d1d..
conj_AIM1_TMTuLFpGHVYQL6e6x8qgvo1dK4kezXyUiSw
26.00
ca02c..
conj_AIM2_TMKezGVBei2xzVSLUsrivF6QkJ46JXcDYKb
26.00
cd7fc..
conj_AIM1_TMWWAVQMcvf4zA3mjLwbQU8VjmthkRmcVch
26.00
468d5..
conj_AIM1_TMMeQqoyNUrxvgiVS2v7pxLLQJtTm2JAkfd
26.00
2e8b0..
conj_AIM1_TMdrL7vCPN9cUpYq1Mz69gSu2tq3eDYWnaF
26.00
04c40..
conj_AIM1_TMX2BdTZX38u4zfxmYoEqR7pYt9JcBijJKK
26.00
de0c5..
conj_AIM2_TMcafy7Adq1cbCJqcf9SQWwY9JUrATLg8s1
26.00
674f1..
conj_AIM1_TMVETndDEvK54XB9vdTEZpyc5HSqoGHUmRb
26.00
0259a..
conj_AIM1_TMWyzfBCcBFdNw8aXz81kdcV8qZuEp1wSFQ
26.00
37d00..
conj_AIM2_TMHbxPW4A8tMzyafSF5bxDBfvJRegvmczmA
26.00
b59cb..
conj_AIM1_TMYGGSLeFnDzGSQejzwXKXR3SUmkWFJ4PdS
26.00
96cb9..
conj_AIM2_TMMZiAuVe23PAGUjuwfcqGBDJJGwzm7AWVU
26.00
65124..
conj_AIM1_TMdBfeyjKAwovTiub2uBhAyGJ2jjr65zix4
26.00
df794..
conj_AIM2_TMT7KVV5Z1KCLfRrrPESQ3JLSpa8b3fKRj6
26.00
a8fa3..
conj_AIM1_TMY5J9nHeDhhvMvoYEyUP9KBULqAYag8ZEz
26.00
3996f..
conj_AIM1_TMdnpPjfKz7YaKK6TSGyWT2UbHZhwnoWc7o
26.00
c7b67..
conj_AIM2_TMZ4SacSdf1tBpiMSzGZcXVrdYECZDrXrJe
26.00
aaa2e..
conj_AIM1_TMVkz1YJCfU8h38KQQ4YDqMZ4v9J8mCpUSZ
26.00
0bfe2..
conj_AIM2_TMSCXwyZtmJxZqyq7o29uUHhSfBDXHwCYP9
26.00
d2110..
conj_AIM1_TMYzrcB4g8sg2kVR5J5fQkWt5MLp6RWoT96
26.00
More open bounties
Collected bounties
8d752..
MetaCat_struct_u_idem_nno
250.00
e5c69..
MetaCat_struct_r_ord_pushout_constr
250.00
6bf66..
MetaCat_struct_r_partialord_nno
250.00
ee3b3..
MetaCat_struct_r_wellord_pullback_constr
250.00
d4e5c..
MetaCat_struct_r_wellord_pushout_constr
250.00
95edd..
MetaCat_struct_r_ord_pullback_constr
250.00
e7f7d..
MetaCat_struct_r_equivreln_pullback_constr
250.00
9460d..
MetaCat_struct_r_wellord_product_exponent
250.00
d1a34..
MetaCat_struct_r_partialord_pullback_constr
250.00
d432e..
MetaCat_struct_r_ord_product_exponent
250.00
7f417..
MetaCat_struct_r_product_exponent
250.00
7d132..
MetaCat_struct_r_per_nno
250.00
97ee8..
MetaCat_struct_r_per_product_exponent
250.00
1a527..
MetaCat_struct_r_ord_nno
250.00
b3083..
MetaCatSmallSet_pushout
250.00
0e563..
MetaCatSet_nno
250.00
8ba3f..
MetaCat_struct_p_pullback_constr
250.00
1810c..
MetaCatSet_product_exponent
250.00
32b3d..
MetaCatSet_product_exponent_gen
250.00
e25fa..
MetaCat_struct_p_nonempty_product_exponent
250.00
More closed bounties
Open sum
304,239.66
Collected sum
209,544.88