Search for blocks/addresses/...
Proofgold recent bounties
Recently placed bounties
TwoRamseyProp_3_10_Power_6
TwoRamseyProp_3_10_Power_6
500.00
bb403..
TwoRamseyProp_6_7_297
500.00
0b30c..
TwoRamseyProp_4_9_73
500.00
4005b..
TwoRamseyProp_5_6_Power_7
500.00
TwoRamseyProp_3_9_Power_6
TwoRamseyProp_3_9_Power_6
500.00
750bb..
TwoRamseyProp_4_8_59
500.00
47305..
TwoRamseyProp_3_10_41
500.00
TwoRamseyProp_4_7_Power_7
TwoRamseyProp_4_7_Power_7
500.00
TwoRamseyProp_4_5_Power_8
TwoRamseyProp_4_5_Power_8
500.00
TwoRamseyProp_4_5_Power_7
TwoRamseyProp_4_5_Power_7
500.00
184bf..
TwoRamseyProp_6_6_165
500.00
TwoRamseyProp_5_5_Power_7
TwoRamseyProp_5_5_Power_7
500.00
11f94..
TwoRamseyProp_5_8_101
500.00
f57af..
TwoRamseyProp_5_8_216
500.00
54fb4..
TwoRamseyProp_6_6_164
500.00
TwoRamseyProp_4_7_Power_8
TwoRamseyProp_4_7_Power_8
500.00
0df9d..
TwoRamseyProp_4_9_115
500.00
TwoRamseyProp_3_8_Power_7
TwoRamseyProp_3_8_Power_7
500.00
faf2b..
TwoRamseyProp_4_8_83
500.00
937b9..
TwoRamseyProp_4_7_60
500.00
More recent placed
Recently collected bounties
1d8ba..
MetaCat_struct_r_equalizer_constr
125.00
1051b..
MetaCatSet_nno_gen_ex
250.00
bfc42..
MetaCatHFSet_pushout
250.00
e5b47..
MetaCatSet_subobject_classifier_gen_ex
250.00
15618..
MetaCatSet_pushout
250.00
833b6..
MetaCatSmallSet_nno
250.00
25c26..
MetaCatSet_subobject_classifier
250.00
a53be..
MetaCatSet_pullback_gen
250.00
341a1..
MetaCatHFSet_subobject_classifier
250.00
ebc63..
MetaCat_struct_p_nonempty_pullback_constr
250.00
596e3..
MetaCatSmallSet_pullback
250.00
fcaee..
MetaCatSet_pullback
250.00
bd9cd..
MetaCatSet_subobject_classifier_gen
250.00
7223a..
MetaCatSmallSet_subobject_classifier
250.00
44067..
MetaCat_struct_r_per_pullback_constr
250.00
97f16..
MetaCat_struct_r_pullback_constr
250.00
ea037..
MetaCatSet_nno_gen
250.00
2e08d..
MetaCatHFSet_pullback
250.00
8381c..
MetaCatSet_pushout_gen
250.00
8ba3f..
MetaCat_struct_p_pullback_constr
250.00
More recent collected