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_leqRealsStruct_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_17not_TwoRamseyProp_3_6_17 800.00
not_TwoRamseyProp_3_5_13not_TwoRamseyProp_3_5_13 800.00
TwoRamseyProp_3_6_18TwoRamseyProp_3_6_18 800.00
not_TwoRamseyProp_4_5_24not_TwoRamseyProp_4_5_24 800.00
TwoRamseyProp_3_5_14TwoRamseyProp_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