Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMUAm..
Conj_mul_SNo_prop_1__87__23
25.00
TMFM8..
Conj_real_mul_SNo_pos__2__11
25.00
TMLqf..
Conj_add_SNo_diadic_rational_p__5__7
25.00
TMHKL..
Conj_real_mul_SNo_pos__48__19
25.00
TMJk2..
Conj_real_mul_SNo_pos__10__3
25.00
40975..
3.11
1e375..
2.06
430b3..
2.06
628bb..
2.06
48eea..
A291264
2.06
bf0ff..
2.06
69dcf..
2.06
03420..
A103213
2.06
e540b..
2.06
2463f..
2.06
2db06..
2.06
6bc1c..
A6625
2.06
f0667..
A45889
2.06
522e6..
A20499
2.06
42d80..
2.06
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
308,364.07
Collected sum
209,545.88