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

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
304,239.66

Collected sum
209,544.88