Proofgold bounties

Description of bounties

Open bounties

TMFKN..^{conj_AbstrHF_TMFKNdmWFapi2H1tPQnEDPdYHNfcN5PDpvf} 25.00
TMHYF..^{conj_Random2_TMHYFfuvw99w4ZqQa68ACxYUmkU5JcsvpS1} 25.00
TMUpD..^{conj_HOSetConstr_TMUpD8ydACCWjBg6qcumqBQCpHBUjSZHNKJ} 25.00
TMZN8..^{conj_DiophantineMod_TMZN8UA4QyHbU4MgK4EXWZx5sy7poFXGQDH} 25.00
TMMyK..^{conj_CombUnif_TMMyKSyppUCFWaSt16UgaUUCaWPgKN1vmcP} 25.00
TMJni..^{conj_DiophantineMod_TMJnijyDvhpNbzGKANuMuKBv5PLVJuchK8i} 25.00
TMNeu..^{conj_CombUnif_TMNeuJyCGDPRrBgbA54PV3XEbEnWg87iEue} 25.00
TMa4w..^{conj_HOSetConstr_TMa4wTkpgPNupYkSy5prVPXiVoWvyGaG22h} 25.00
TMGmx..^{conj_DiophantineMod_TMGmxnErLM6FiVZxJT4cXPyhWUDEVYH6wHy} 25.00
TMSJY..^{conj_DiophantineMod_TMSJYsevhugkk9Jsu75Xq6STbUQxq63JmUS} 25.00
TMFTx..^{conj_DiophantineMod_TMFTxgFDDyePeupcCuY2fZyjfTjyMsWdie4} 25.00
TMH2R..^{conj_HOSetConstr_TMH2RXDitK8neQHVyZ734YmDART8XFtBzDA} 25.00
TMKjK..^{conj_Random1_TMKjKkoa9HDUoLuuoDizx3bjBG2GraUcqwd} 25.00
TMaCW..^{conj_DiophantineMod_TMaCWtJtYwGQyiLo4CDNCCKJj7oKhKAskNb} 25.00
TMdbe..^{conj_AbstrHF_TMdbeePMY3oe8SpYaHVratdRqnb9Pq7kyay} 25.00
TMWNt..^{conj_DiophantineMod_TMWNtdZKGYLvSEXD1ohhZNbGB6pzrRstGf6} 25.00
TMGEw..^{conj_DiophantineMod_TMGEwKYu6ASRqgXUyRGQc3bLDHBXPQEp2Ni} 25.00
TMHNz..^{conj_Random1_TMHNzWVF5n5wsEdKdas4R2SJKurNsLkSeSe} 25.00
TMHun..^{conj_DiophantineMod_TMHunWPyqYMh2fuY5SYucVcqb1Foaqhdk4v} 25.00
TMT74..^{conj_Random1_TMT74giqjpC98xFzk1zFtRJmb31Q2UXh7uF} 25.00

More open bounties

Collected bounties

not_TwoRamseyProp_3_6_17^{not_TwoRamseyProp_3_6_17} 800.00
not_TwoRamseyProp_3_5_13^{not_TwoRamseyProp_3_5_13} 800.00
TwoRamseyProp_3_6_18^{TwoRamseyProp_3_6_18} 800.00
not_TwoRamseyProp_4_5_24^{not_TwoRamseyProp_4_5_24} 800.00
TwoRamseyProp_3_5_14^{TwoRamseyProp_3_5_14} 800.00
7f3dc..^{MetaCat_struct_b_monoid_left_adjoint_forgetful} 750.00
5da2f..^{MetaCat_struct_c_left_adjoint_forgetful} 750.00
1e88d..^{MetaCat_struct_r_graph_left_adjoint_forgetful} 750.00
8dcfe..^{MetaCat_struct_r_per_left_adjoint_forgetful} 750.00
82000..^{MetaCat_struct_r_ord_left_adjoint_forgetful} 750.00
a69df..^{MetaCat_struct_u_bij_left_adjoint_forgetful} 750.00
123cf..^{MetaCat_struct_r_partialord_left_adjoint_forgetful} 750.00
49304..^{MetaCat_struct_u_idem_left_adjoint_forgetful} 750.00
538f6..^{MetaCat_struct_r_wellord_left_adjoint_forgetful} 750.00
8822b..^{MetaCat_struct_u_inj_left_adjoint_forgetful} 750.00
ed3d2..^{MetaCat_struct_u_left_adjoint_forgetful} 750.00
57ed9..^{MetaCat_struct_p_nonempty_left_adjoint_forgetful} 750.00
80d3d..^{MetaCat_struct_r_equivreln_left_adjoint_forgetful} 750.00
c3ca2..^{MetaCat_struct_p_left_adjoint_forgetful} 750.00
301a5..^{MetaCat_struct_r_left_adjoint_forgetful} 750.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88