Proofgold bounties

Description of bounties

Open bounties

TMGbp..^t20_rpr_1 25.00
TMYoH..^{Conj_mul_SNo_assoc_lem2__42__15} 25.00
TMVLC..^{Conj_mul_SNo_Lt__55__12} 25.00
TMRJ5..^{Conj_real_mul_SNo_pos__15__12} 25.00
TMKwh..^{Conj_mul_SNo_assoc_lem1__79__14} 25.00
TMdio..^{Conj_mul_SNo_distrR__128__15} 25.00
TMYfw..^{Conj_mul_SNo_assoc_lem2__32__11} 25.00
TMMG8..^{Conj_mul_SNo_assoc_lem2__48__21} 25.00
TMVMM..^{Conj_SNo_approx_real__18__8} 25.00
TMSuP..^{Conj_mul_SNo_distrR__120__16} 25.00
TMZmg..^{Conj_mul_SNo_assoc_lem1__65__9} 25.00
TMHYk..^{Conj_real_complete1__3__1} 25.00
TMW92..^{Conj_mul_SNo_com__2__14} 25.00
TMRo6..^{Conj_real_mul_SNo_pos__93__16} 25.00
TMYpZ..^{Conj_mul_SNo_SNoL_interpolate__11__0} 25.00
TMbHY..^{Conj_mul_SNo_distrR__16__14} 25.00
TMVes..^{Conj_SNoCut_ext__2__3} 25.00
TMaEB..^{Conj_mul_SNo_eq_3__2__9} 25.00
TMPVa..^{Conj_real_complete1__25__7} 25.00
TMVyc..^{Conj_SNo_triangle2__2__0} 25.00

More open bounties

Collected bounties

9bff8.. 280.00
09df0.. 280.00
5303f.. 280.00
fe42e.. 280.00
5ca77.. 280.00
846a6.. 280.00
3b01f.. 280.00
2614c..^{MetaCat_struct_b_loop_pullback_constr} 250.00
d652b..^{MetaCat_struct_b_quasigroup_pullback_constr} 250.00
e443a..^{MetaCat_struct_b_abelian_group_pullback_constr} 250.00
f9bf8..^{MetaCat_struct_b_monoid_pullback_constr} 250.00
42863..^{MetaCat_struct_b_group_pullback_constr} 250.00
61ba2..^{MetaCat_struct_b_semigroup_pullback_constr} 250.00
eece9..^{MetaCat_struct_r_equivreln_nno} 250.00
31886..^{MetaCat_struct_r_graph_nno} 250.00
c2d12..^{MetaCat_struct_r_graph_pullback_constr} 250.00
fc83d..^{MetaCat_struct_u_inj_nno} 250.00
d2cf4..^{MetaCat_struct_r_wellord_subobject_classifier} 250.00
21b6c..^{MetaCat_struct_r_partialord_subobject_classifier} 250.00
cdd84..^{MetaCat_struct_u_bij_nno} 250.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88