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