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

165d8.. 26.00
a1b14.. 26.00
ee3db.. 26.00
2f503.. 26.00
4e4ad.. 26.00
7d2a1.. 26.00
57f50..^{MetaCat_struct_r_per_equalizer_constr} 125.00
ef69d..^{MetaCatHFSet_coequalizer} 125.00
e3112..^{MetaCat_struct_p_nonempty_equalizer_constr} 125.00
5bbc1..^{MetaCatSet_coequalizer_gen} 125.00
03706..^{MetaCatHFSet_equalizer_gen} 125.00
56101..^{MetaCat_struct_p_equalizer_constr} 125.00
33046..^{MetaCatSet_coequalizer} 125.00
3d3ca..^{MetaCatSmallSet_equalizer_gen} 125.00
ae25c..^{MetaCatSet_equalizer_gen} 125.00
04991..^{MetaCatSmallSet_coequalizer} 125.00
06b27..^{MetaCat_struct_r_graph_equalizer_constr} 125.00
3d0dd..^{MetaCat_struct_r_partialord_equalizer_constr} 125.00
99d06..^{MetaCat_struct_r_equivreln_equalizer_constr} 125.00
1d8ba..^{MetaCat_struct_r_equalizer_constr} 125.00

Proofgold recent bounties

More recent placed

More recent collected