Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
cd369..
conj_AIM2_TMN5a29RCNqy3uN1vt8KV4b2VVJzEi85QPH
26.00
4111e..
conj_AIM1_TMFfBQWYAPd4FJSgcenPsbDvbyft4YzpTuC
26.00
3fa09..
conj_AIM1_TMScTmJ9wnRCAgRrNxMSsyPzRBwXFoqeSwp
26.00
3b13a..
conj_AIM1_TMcPvDrAMxjJAN62eQ8y3uocGtPt2GXmcFn
26.00
cac15..
conj_AIM2_TML5rks86JULmh7zS44CQDpoBzrwHpxeA2t
26.00
2b191..
conj_AIM2_TMHahfqUo21A12Qt2NLtoGvt5WBevx3aV5n
26.00
1eb12..
conj_AIM1_TMNvsxDbBxK9YxUuw3nwrBQpXVuH8azdPdc
26.00
6db73..
conj_AIM1_TMKCayKZxMfG1P3yrg1LrKUJVeaL6VmCoiy
26.00
3de51..
conj_AIM2_TMNe5WrtFR4rC7xYVvj4A6astnHpgTr8pC2
26.00
dfe4b..
conj_AIM2_TMP3R9PDfm2BmM8nyLXRekHYwbooBrp88W7
26.00
55c3b..
conj_AIM2_TMGPjJgLEsM4eQXjUwVMWza9pJBGPd7ncSZ
26.00
25371..
conj_AIM2_TMbaVtyb32ugvNhDhPpLDbNU8QPispQXtKh
26.00
57dcf..
conj_AIM2_TMLDyUdeecakDBHBQMSuH5i71VPCXDBQqCa
26.00
05133..
conj_AIM2_TMQkC8KhGzEt5tbU9d5MFehb87MUbhM7XWq
26.00
a0121..
conj_AIM1_TMEhXvAmfgfETyukzLafmppib7wQDrdhEw4
26.00
f4d98..
conj_AIM1_TMHrs5NZib6maSaRyuHvcKSNJ3Y2GVsJtmo
26.00
25872..
conj_AIM2_TMRWugZMxFiNbSZ33uh29FFXQZnxdPNaVXd
26.00
5e22f..
conj_AIM1_TMTQ15cVe5rBr8P6pShpbrdWEdNfb35dxXJ
26.00
4f394..
conj_AIM2_TMdR1at9CbKpdGHCjAPAcPro3ARv4VQhdwm
26.00
d44a2..
conj_AIM1_TMVd5dNmCxqkxdHpa6XBgtncD6XvkfsGBMc
26.00
More open bounties
Collected bounties
8381c..
MetaCatSet_pushout_gen
250.00
2e08d..
MetaCatHFSet_pullback
250.00
29786..
MetaCatHFSet_product_exponent
250.00
ea037..
MetaCatSet_nno_gen
250.00
75a41..
MetaCat_struct_u_pullback_constr
250.00
97f16..
MetaCat_struct_r_pullback_constr
250.00
5b67a..
MetaCat_struct_u_idem_pullback_constr
250.00
6f6f3..
MetaCat_struct_u_bij_pullback_constr
250.00
a238a..
MetaCat_struct_b_pullback_constr
250.00
44067..
MetaCat_struct_r_per_pullback_constr
250.00
568d6..
MetaCat_struct_r_ord_subobject_classifier
250.00
7223a..
MetaCatSmallSet_subobject_classifier
250.00
37ab0..
MetaCatSet_product_exponent_gen_setprod_setexp
250.00
40b2c..
MetaCat_struct_u_inj_pullback_constr
250.00
b8863..
MetaCat_struct_p_nonempty_nno
250.00
bd9cd..
MetaCatSet_subobject_classifier_gen
250.00
fcaee..
MetaCatSet_pullback
250.00
596e3..
MetaCatSmallSet_pullback
250.00
ebc63..
MetaCat_struct_p_nonempty_pullback_constr
250.00
341a1..
MetaCatHFSet_subobject_classifier
250.00
More closed bounties
Open sum
304,239.66
Collected sum
209,544.88