Proofgold recent bounties

Recently placed bounties

TwoRamseyProp_5_5_Power_8^{TwoRamseyProp_5_5_Power_8} 500.00
5b30b..^{TwoRamseyProp_3_9_36} 500.00
019f1..^{TwoRamseyProp_4_7_61} 500.00
TwoRamseyProp_4_9_Power_8^{TwoRamseyProp_4_9_Power_8} 500.00
b5144..^{TwoRamseyProp_5_6_58} 500.00
TwoRamseyProp_4_8_Power_8^{TwoRamseyProp_4_8_Power_8} 500.00
9c5ae..^{TwoRamseyProp_6_7_115} 500.00
dba4b..^{TwoRamseyProp_5_6_86} 500.00
bfcef..^{TwoRamseyProp_5_6_87} 500.00
67a94..^{TwoRamseyProp_5_7_143} 500.00
13553..^{TwoRamseyProp_6_6_102} 500.00
c30d4..^{TwoRamseyProp_6_6_Power_8} 500.00
TwoRamseyProp_4_4_Power_7^{TwoRamseyProp_4_4_Power_7} 500.00
3f085..^{TwoRamseyProp_5_8_215} 500.00
beb3c..^{TwoRamseyProp_4_9_114} 500.00
TwoRamseyProp_4_8_Power_7^{TwoRamseyProp_4_8_Power_7} 500.00
c6e22..^{TwoRamseyProp_5_7_Power_8} 500.00
c8d15..^{TwoRamseyProp_5_7_80} 500.00
TwoRamseyProp_3_9_Power_7^{TwoRamseyProp_3_9_Power_7} 500.00
f3e4e..^{TwoRamseyProp_3_10_40} 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

Proofgold recent bounties

More recent placed

More recent collected