Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMbNi..conj_AbstrHF_TMbNiSf8u6GdKrJ8D3BkN3dgFwPVZin4wpw 25.00
TMVeA..conj_AbstrHF_TMVeAcQAMwMjQjeRk6224cgS5a5WYZP6FEe 25.00
TMK9i..conj_HOSetConstr_TMK9ibgUhVJ3YEeo7iRfT9MkinxHfeWhjvw 25.00
TMHb5..conj_QBF_TMHb5KnAUpZiRqQ6cLSgeyZ6UifqgJP88DJ 25.00
TMTUs..conj_Random2_TMTUsGrWzeccXTbyyUzkKmmiSfaVo5uxPqe 25.00
TMVpV..conj_QBF_TMVpVwT2aop9HqbDZ7zPT7pEbmVaEgz3CbE 25.00
TMboj..conj_QBF_TMbojk6FZ7vqY4gd3Cb9N62xnDfP1zWYbiQ 25.00
TMdAu..conj_DiophantineMod_TMdAuVLV1mhVbs53p5y5WZqXHdZgVTK6xUP 25.00
TMGdW..conj_AbstrHF_TMGdW9rwZFbvv6QqhPJNv74sDn7CANe3n5L 25.00
TMMGE..conj_DiophantineMod_TMMGEEXQ8SDbRw8parC2jg8txNCEcQCT55p 25.00
TMJDs..conj_AbstrHF_TMJDs45bqgjhKh6vSrt2V5FxczDbyt3J3sT 25.00
TMSPD..conj_CombUnif_TMSPD25G9LJAwrEYAJQiFE4SbtNRTxi7q9u 25.00
TMcpc..conj_Random1_TMcpceQpQNqYrFSdTcmp9eocBpjej63CHBi 25.00
TMbBY..conj_AbstrHF_TMbBYUFiBKojfgoWad2vSkJiWVLRgVptnx1 25.00
TMaiL..conj_HOSetConstr_TMaiLz7RkEq2BgPq87Kj8ds3JdMj7j8G7Av 25.00
TMNxv..conj_QBF_TMNxvs2Re6qYXT7oHRTSZCKRqqXT9nYnNm1 25.00
TMLyH..conj_DiophantineMod_TMLyHvjqKTz5p1KUPSYNvX8HXS1HmLpJffe 25.00
TMNNR..conj_HOSetConstr_TMNNRnNzzeGqxv2HnqHnnM3JtBxWcAah9hR 25.00
TMP35..conj_DiophantineMod_TMP35u1JLgdVFCuveZm22LLZVKSqW5co31Z 25.00
TMdn9..conj_CombUnif_TMdn98hncdNVq46WDqpg7QfGL3zDvBEXe5w 25.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
308,364.07
Collected sum
209,545.88