Proofgold recent bounties

Recently placed bounties

TMReD..^{Conj_mul_SNo_distrR__32__16} 25.00
TMV7a..^{Conj_add_SNo_diadic_rational_p__1__8} 25.00
bce5d..^{Conj_real_add_SNo__41__9} 25.00
9e3c5..^{Conj_real_mul_SNo_pos__132__4} 25.00
TMV6X..^{Conj_mul_SNo_distrR__132__16} 25.00
TMQQ5..^{Conj_mul_SNo_distrR__126__11} 25.00
TMRif..^{Conj_mul_SNo_prop_1__25__24} 25.00
TMQsq..^{Conj_mul_SNo_distrR__29__11} 25.00
TMP2e..^{Conj_mul_SNo_prop_1__78__0} 25.00
TMKue..^{Conj_mul_SNo_assoc_lem2__7__16} 25.00
TMGVp..^{Conj_mul_SNo_distrR__94__22} 25.00
7312b..^{Conj_real_add_SNo__44__17} 25.00
TMGdS..^{Conj_PNoLt_trichotomy_or__6__2} 25.00
aa8d2..^{Conj_real_add_SNo__45__16} 25.00
TMYPt..^{Conj_mul_SNo_assoc_lem1__18__24} 25.00
TMZNu..^{Conj_mul_SNo_prop_1__66__7} 25.00
TMF4B..^{Conj_mul_SNo_assoc_lem2__72__20} 25.00
0b6fe..^{Conj_int_add_SNo__1__1} 25.00
TMSNQ..^{Conj_mul_SNo_assoc_lem1__4__18} 25.00
TMNzt..^{Conj_mul_SNo_assoc__5__19} 25.00

More recent placed

Recently collected bounties

6f146.. 26.00
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

Proofgold recent bounties

More recent placed

More recent collected