Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
65da8..
MetaCat_struct_b_b_e_e_field_product_exponent
250.00
TMaSf..
MetaCat_struct_b_b_e_e_field_subobject_classifier
250.00
TMQA1..
MetaCat_struct_b_b_r_e_e_subobject_classifier
250.00
3fbc7..
MetaCat_struct_b_b_e_e_ring_nno
250.00
67a9f..
MetaCat_struct_b_b_e_e_cring_product_exponent
250.00
TMJTE..
MetaCat_struct_b_b_e_e_ring_pullback_constr
250.00
TMZK7..
MetaCat_struct_b_b_e_e_ring_subobject_classifier
250.00
TMH9P..
MetaCat_struct_b_b_e_e_cring_pullback_constr
250.00
a4533..
MetaCat_struct_b_b_r_e_e_product_exponent
250.00
TMbrr..
MetaCat_struct_b_b_r_e_e_ordered_field_subobject_classifier
250.00
TMTFx..
MetaCat_struct_b_b_e_e_semiring_subobject_classifier
250.00
TMPuc..
MetaCat_struct_b_b_e_crng_pushout_constr
250.00
TMWUu..
MetaCat_struct_b_b_e_crng_pullback_constr
250.00
TMb7Q..
MetaCat_struct_b_b_e_crng_subobject_classifier
250.00
da9ac..
MetaCat_struct_b_b_e_crng_product_exponent
250.00
TMKkp..
MetaCat_struct_b_b_e_rng_pullback_constr
250.00
6a014..
MetaCat_struct_b_b_e_rng_product_exponent
250.00
TMGSM..
MetaCat_struct_b_b_e_e_semiring_pullback_constr
250.00
TMWKu..
MetaCat_struct_b_b_e_e_subobject_classifier
250.00
ce6a2..
MetaCat_struct_b_b_e_product_exponent
250.00
More open bounties
Collected bounties
307f0..
t6_xregular
25.00
2167e..
Conj_SNoS_omega_diadic_rational_p_lem__10__10
25.00
c2b6b..
Conj_add_SNo_cancel_L__2__3
25.00
e4ae8..
Conj_real_mul_SNo_pos__135__10
25.00
5ece1..
Conj_add_SNo_prop1__4__2
25.00
f1351..
Conj_ctagged_eqE_Subq__5__2
25.00
cf6dd..
Conj_minus_SNo_prop1__9__3
25.00
9d1d7..
Conj_minus_SNoCut_eq_lem__11__3
25.00
ec2d3..
Conj_PNo_rel_imv_ex__16__2
25.00
1dbb1..
Conj_real_add_SNo__10__7
25.00
06412..
Conj_real_add_SNo__6__6
25.00
27e21..
Conj_add_SNo_minus_Lt_lem__2__6
25.00
70a69..
Conj_add_SNo_com__2__3
25.00
694cf..
Conj_SNo_approx_real__10__10
25.00
75d78..
Conj_minus_add_SNo_distr__3__2
25.00
82613..
Conj_SNo_etaE__2__1
25.00
e0a4a..
Conj_minus_SNo_prop1__2__2
25.00
a5394..
Conj_ctagged_eqE_Subq__2__3
25.00
5c476..
Conj_real_add_SNo__36__12
25.00
ec8fd..
Conj_minus_SNo_prop1__5__7
25.00
More closed bounties
Open sum
308,364.07
Collected sum
209,545.88