Proofgold bounties

Description of bounties

Open bounties

44737..^{conj_AIM2_TMZ38q52DUGAdAPcYZx4dC1xVstrxbacGdc} 26.00
62a1d..^{conj_AIM2_TMdCsNGQEbQUQ2SXVN1qT2ggrqD5to46VSn} 26.00
974f2..^{conj_AIM2_TMX6kTUqqLPQRpcqvbw1QtJqiriJAHs7u1z} 26.00
c4a85..^{conj_AIM1_TMRV53HFAEBsvec5irfWByesZxGT1HEKYHG} 26.00
e3ad7..^{conj_AIM2_TMczFv156g4tbnW7riyymEVcT9vsonZFexe} 26.00
96086..^{conj_AIM1_TMYR26qdPuS9Xg9vfKiv8g7x8QVKQt56HR1} 26.00
4f434..^{conj_AIM2_TMPEpjsa7CBTXhLpTxCcp2cSFTVppge8aiz} 26.00
58911..^{conj_AIM1_TMPJJpcAohLhb2MYYRXERb19LDH4w9Bixhs} 26.00
758bc..^{conj_AIM1_TMVc23MHd9ttEwcM3Mk7JYxgnnxwg7FJLwi} 26.00
aea1d..^{conj_AIM2_TMWCn2rK6WwRoK2ejA9VTxXXrKTnFge5t3U} 26.00
42d3c..^{conj_AIM2_TMWjMF99gPJLEyJEirz3iipsMKAAQNyxi7r} 26.00
c44fd..^{conj_AIM1_TMVEfqW5pienkBH4HHJQjpXs6te2mgfBRGY} 26.00
0a92c..^{conj_AIM2_TMU2RCKttVQC1oMn69DtgekwTFbdeJSj3Gf} 26.00
96502..^{conj_AIM1_TMQ4L2DjgJabnZmWCix1gxWVDaDhqAczVMA} 26.00
751fb..^{conj_AIM1_TMNJ6EYfbWHeh1vNyGnY5oMycXbGFAivsdN} 26.00
a020f..^{conj_AIM1_TMXW77x8FQx5zdNQzD9bf2M1ccm76csb7yW} 26.00
bffe7..^{conj_AIM2_TMXVeyAUUVP9zVPde9MyrMbe2PpvDJVa8WT} 26.00
11fce..^{conj_AIM1_TMHcQSeQzsYv8grkkm83aiNtUjCq6XXvyt9} 26.00
a38f3..^{conj_AIM1_TMHZ8JaZ6q2M22idJN4fdkEWrDBUAdmvDMU} 26.00
4e101..^{conj_AIM2_TMJJBtZXmvHY3y2LG2wSkkph3kKG8KL7qCA} 26.00

More open bounties

Collected bounties

592be..^{MetaCat_struct_p_product_exponent} 250.00
1f2a9..^{MetaFunctor_struct_e_struct_p_nonempty} 250.00
a53be..^{MetaCatSet_pullback_gen} 250.00
25c26..^{MetaCatSet_subobject_classifier} 250.00
833b6..^{MetaCatSmallSet_nno} 250.00
d6d09..^{MetaCat_struct_r_wellord_nno} 250.00
15618..^{MetaCatSet_pushout} 250.00
3aa34..^{MetaCat_struct_r_graph_subobject_classifier} 250.00
12c76..^{MetaCat_struct_u_nno} 250.00
e5b47..^{MetaCatSet_subobject_classifier_gen_ex} 250.00
bfc42..^{MetaCatHFSet_pushout} 250.00
dcba1..^{MetaCat_struct_p_nno} 250.00
1051b..^{MetaCatSet_nno_gen_ex} 250.00
e6d9e..^{MetaCat_struct_b_group_equalizer_constr} 125.00
994bf..^{MetaCat_struct_b_abelian_group_equalizer_constr} 125.00
f1b36..^{MetaCat_struct_b_loop_equalizer_constr} 125.00
1451d..^{MetaCat_struct_b_monoid_equalizer_constr} 125.00
9347c..^{MetaCat_struct_b_semigroup_equalizer_constr} 125.00
b8635..^{MetaCat_struct_b_quasigroup_equalizer_constr} 125.00
1d8ba..^{MetaCat_struct_r_equalizer_constr} 125.00

More closed bounties

Open sum
304,239.66

Collected sum
209,544.88