Proofgold recent bounties

Recently placed bounties

TMLqf..^{Conj_add_SNo_diadic_rational_p__5__7} 25.00
TMHKL..^{Conj_real_mul_SNo_pos__48__19} 25.00
TMJk2..^{Conj_real_mul_SNo_pos__10__3} 25.00
TMLeS..^{Conj_real_mul_SNo_pos__101__1} 25.00
TMLrd..^{Conj_mul_SNo_assoc_lem1__46__0} 25.00
TMNSZ..^{Conj_mul_SNo_distrR__6__9} 25.00
TMFfz..^{Conj_real_add_SNo__2__3} 25.00
TMUdL..^{Conj_mul_SNo_distrR__135__6} 25.00
TMJjA..^{Conj_real_add_SNo__13__3} 25.00
TMUdw..^{Conj_mul_SNo_com__2__11} 25.00
TMJag..^{Conj_real_mul_SNo_pos__115__21} 25.00
TMbr6..^{Conj_mul_SNo_Lt__54__22} 25.00
TMKwP..^{Conj_mul_SNo_distrR__67__6} 25.00
TMYWJ..^{Conj_real_mul_SNo_pos__53__6} 25.00
TMcET..^{Conj_PNo_rel_strict_upperbd_antimon__6__1} 25.00
TMJSU..^{Conj_mul_SNo_assoc_lem2__8__6} 25.00
TMZ6h..^{Conj_real_mul_SNo_pos__8__14} 25.00
TMVFD..^{Conj_real_mul_SNo_pos__6__13} 25.00
TMJgj..^{Conj_SNoLtE__1__4} 25.00
TMbCV..^{Conj_mul_SNo_distrR__129__10} 25.00

More recent placed

Recently collected bounties

68f35.. 26.00
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

Proofgold recent bounties

More recent placed

More recent collected