Proofgold recent bounties

Recently placed bounties
4c9ff.. 280.00 670de.. 280.00 99d55.. 280.00 8ee8b.. 280.00 e175e.. 280.00 54bb5.. 280.00 ed1ff.. 280.00 d8d89.. 280.00 16a22.. 280.00 0497a.. 280.00 a7607.. 280.00 6f396.. 280.00 41cc3.. 280.00 f9fd3.. 280.00 db811.. 280.00 2317a.. 280.00 983dc.. 280.00 e7855.. 280.00 9d5c8.. 280.00 246a2.. 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