Proofgold recent bounties

Recently placed bounties
39a86.. 280.00 f0c39.. 280.00 b434c.. 280.00 17d02.. 280.00 94244.. 280.00 57aa9.. 280.00 4b79b.. 280.00 cc4cd.. 280.00 6ae76.. 280.00 f3acb.. 280.00 9e9e8.. 280.00 c7a39.. 280.00 06930.. 280.00 c9a16.. 280.00 b1974.. 280.00 5581c.. 280.00 392b8.. 280.00 c08e5.. 280.00 0bb13.. 280.00 f6311.. 280.00 More recent placed

Recently collected bounties

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
0e563..^{MetaCatSet_nno} 250.00

Proofgold recent bounties

More recent placed

More recent collected