Proofgold bounties

Description of bounties

Open bounties

6fb88..^T1dist__aa1 130.00
76b60..^nil3_24 130.00
6793d..^com__nil3_24 130.00
203c2..^aa1_45 130.00
bd861..^nil3_24__aa1 130.00
42fc4..^aK1 130.00
eac1e..^aa1 130.00
975e1..^com__aa1 130.00
79b0e..^{middle_Bol__aa1} 130.00
edea9..^KK_Kcom__aa1 130.00
6fb88..^T1dist__aa1 130.00
76b60..^nil3_24 130.00
6793d..^com__nil3_24 130.00
203c2..^aa1_45 130.00
bd861..^nil3_24__aa1 130.00
TMT1L..^{MetaCat_struct_b_b_r_e_e_ordered_field_coequalizer_constr} 125.00
TMLYn..^{MetaCat_struct_b_b_r_e_e_ordered_field_equalizer_constr} 125.00
TMRHW..^{MetaCat_struct_b_b_r_e_e_equalizer_constr} 125.00
TMHHM..^{MetaCat_struct_b_b_e_e_field_coequalizer_constr} 125.00
TMR7Z..^{MetaCat_struct_b_b_e_e_cring_equalizer_constr} 125.00

More open bounties

Collected bounties

5914c..^{not_TwoRamseyProp_4_9_Power_4} 500.00
fa29b..^{not_TwoRamseyProp_4_8_Power_4} 500.00
not_TwoRamseyProp_4_8_Power_5^{not_TwoRamseyProp_4_8_Power_5} 500.00
8b769..^{not_TwoRamseyProp_4_9_Power_3} 500.00
eff2c..^{not_TwoRamseyProp_5_6_Power_3} 500.00
not_TwoRamseyProp_5_7_Power_5^{not_TwoRamseyProp_5_7_Power_5} 500.00
not_TwoRamseyProp_5_6_Power_5^{not_TwoRamseyProp_5_6_Power_5} 500.00
a1968..^{not_TwoRamseyProp_4_7_Power_4} 500.00
3ce96..^{not_TwoRamseyProp_6_6_Power_4} 500.00
3de2e..^{not_TwoRamseyProp_6_6_Power_3} 500.00
73405..^{not_TwoRamseyProp_5_7_Power_3} 500.00
c0836..^{not_TwoRamseyProp_5_6_Power_4} 500.00
cd2fd..^{not_TwoRamseyProp_5_5_Power_3} 500.00
not_TwoRamseyProp_4_7_Power_5^{not_TwoRamseyProp_4_7_Power_5} 500.00
f4df6..^{not_TwoRamseyProp_5_8_Power_4} 500.00
41978..^{not_TwoRamseyProp_5_8_Power_3} 500.00
form100_1_v1^form100_1_v1 500.00
not_TwoRamseyProp_3_4_8^{not_TwoRamseyProp_3_4_8} 500.00
09af7.. 500.00
form100_11_infinite_primes^{form100_11_infinite_primes} 500.00

More closed bounties

Open sum
304,239.66

Collected sum
209,544.88