Proofgold bounties

Description of bounties

Open bounties

2332c..^{MetaCat_struct_b_b_e_rng_nno} 250.00
TMRwA..^{MetaCat_struct_b_b_e_pushout_constr} 250.00
TMYw4..^{MetaCat_struct_b_b_e_pullback_constr} 250.00
51d9f..^{MetaCat_struct_b_b_e_e_product_exponent} 250.00
2edf3..^{MetaCat_struct_b_b_e_nno} 250.00
TMWx2..^{MetaCat_struct_b_b_e_rng_subobject_classifier} 250.00
TMRUq..^{MetaCat_struct_b_b_e_e_pullback_constr} 250.00
dbe72..^{MetaCat_struct_b_b_e_crng_nno} 250.00
TMKJe..^{MetaCat_struct_b_b_e_e_pushout_constr} 250.00
6b467..^{MetaCat_struct_b_b_e_e_semiring_product_exponent} 250.00
TMQcZ..^{MetaCat_struct_c_pullback_constr} 250.00
TMXQH..^{MetaCat_struct_b_group_subobject_classifier} 250.00
485ba..^{MetaCat_struct_c_T1_topology_product_exponent} 250.00
TMPTY..^{MetaCat_struct_b_abelian_group_subobject_classifier} 250.00
c8e85..^{MetaCat_struct_c_Hausdorff_topology_product_exponent} 250.00
6a5cf..^{MetaCat_struct_b_quasigroup_nno} 250.00
a69bb..^{MetaCat_struct_c_topology_product_exponent} 250.00
TMQFD..^{MetaCat_struct_c_topology_pushout_constr} 250.00
TMJ4j..^{MetaCat_struct_c_T1_topology_subobject_classifier} 250.00
87fa7..^{MetaCat_struct_b_semigroup_nno} 250.00

More open bounties

Collected bounties

34346.. 25.00
20620.. 25.00
4098c.. 25.00
1c18f.. 25.00
133cc.. 25.00
63812.. 25.00
51178.. 25.00
69709.. 25.00
5b581.. 25.00
100e6.. 25.00
da269.. 25.00
ebc25..^{conj_Diophantine_TMHefzm8R6PycQg5cKUWKcqsn1C4J4NRUZt} 25.00
15a64.. 25.00
6c904.. 25.00
0d55d.. 25.00
64e09.. 25.00
59ccc..^{conj_Diophantine_TMEzzxbPUZAg2PoZj6zitYaMiU3oHCYCwWM} 25.00
0b9a6.. 25.00
3ce40.. 25.00
da36c.. 25.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88