Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMVwP..
200.00
TMce4..
200.00
TMUAz..
200.00
TMQ16..
200.00
TMcUV..
200.00
TMSDL..
200.00
TMcfj..
200.00
TMNj9..
200.00
TMUiR..
200.00
TMcA1..
200.00
TMNz4..
200.00
TMJ2e..
200.00
TMF4N..
200.00
TMbtZ..
200.00
TMQhG..
200.00
RealsStruct_minus_leq
RealsStruct_minus_leq
200.00
TMP1a..
200.00
TMZwa..
200.00
TMaF2..
200.00
TMU4T..
200.00
More open bounties
Collected bounties
not_TwoRamseyProp_3_6_17
not_TwoRamseyProp_3_6_17
800.00
not_TwoRamseyProp_3_5_13
not_TwoRamseyProp_3_5_13
800.00
TwoRamseyProp_3_6_18
TwoRamseyProp_3_6_18
800.00
not_TwoRamseyProp_4_5_24
not_TwoRamseyProp_4_5_24
800.00
TwoRamseyProp_3_5_14
TwoRamseyProp_3_5_14
800.00
7f3dc..
MetaCat_struct_b_monoid_left_adjoint_forgetful
750.00
5da2f..
MetaCat_struct_c_left_adjoint_forgetful
750.00
1e88d..
MetaCat_struct_r_graph_left_adjoint_forgetful
750.00
8dcfe..
MetaCat_struct_r_per_left_adjoint_forgetful
750.00
82000..
MetaCat_struct_r_ord_left_adjoint_forgetful
750.00
a69df..
MetaCat_struct_u_bij_left_adjoint_forgetful
750.00
123cf..
MetaCat_struct_r_partialord_left_adjoint_forgetful
750.00
49304..
MetaCat_struct_u_idem_left_adjoint_forgetful
750.00
538f6..
MetaCat_struct_r_wellord_left_adjoint_forgetful
750.00
8822b..
MetaCat_struct_u_inj_left_adjoint_forgetful
750.00
ed3d2..
MetaCat_struct_u_left_adjoint_forgetful
750.00
57ed9..
MetaCat_struct_p_nonempty_left_adjoint_forgetful
750.00
80d3d..
MetaCat_struct_r_equivreln_left_adjoint_forgetful
750.00
c3ca2..
MetaCat_struct_p_left_adjoint_forgetful
750.00
301a5..
MetaCat_struct_r_left_adjoint_forgetful
750.00
More closed bounties
Open sum
304,239.66
Collected sum
209,544.88