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

912c3.. 26.00
cfccf.. 26.00
ec184..^{MetaCat_struct_r_equivreln_coproduct_constr} 100.00
0e807..^{MetaCat_struct_p_nonempty_coproduct_constr} 100.00
09ba2..^{MetaCat_struct_p_coproduct_constr} 100.00
5de9f..^{MetaCat_struct_r_per_coproduct_constr} 100.00
9a2fc..^{MetaCat_struct_r_coproduct_constr} 100.00
8a2ce..^{MetaCat_struct_r_partialord_coproduct_constr} 100.00
ad517..^{MetaCat_struct_r_graph_coproduct_constr} 100.00
e634a.. 26.00
3f4ec.. 26.00
ffbd6.. 26.00
4cb6e.. 26.00
be048.. 26.00
60b79.. 26.00
f4147.. 26.00
4eb20.. 26.00
cd28a.. 26.00
a3dc1.. 26.00
68f35.. 26.00

Proofgold recent bounties

More recent placed

More recent collected