Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMQ7F..conj_DiophantineMod_TMQ7F47vCZzjDcFoUNM9WYZHxVViQ595q5E 25.00
TMMWH..conj_AbstrHF_TMMWHMpfKqBWxtgUzssGwotRErQaNv4Q2Td 25.00
TMLtF..conj_DiophantineMod_TMLtFk2evCKb1NuD5qsGSAjz1tCrj9oJ4c1 25.00
TMUHH..conj_HOSetConstr_TMUHHcDXbMvkpAZQMTUdPnGsdUNQqqE2gt7 25.00
TMTar..conj_DiophantineMod_TMTarbAE4C64ThXkxoLFzPrSLCzqKvLrk5F 25.00
TMaMc..conj_DiophantineMod_TMaMc4AxPXVEeXCJ9CrkxpsexDSGD5yNQo7 25.00
TMWmz..conj_DiophantineMod_TMWmzdgmPsQqyPnXMTQxNxtya9v4mkNgHNz 25.00
TMFy5..conj_AbstrHF_TMFy5nGgzKTcSCHg5Tgwqx4XuZAdmmkcBVi 25.00
TMaMW..conj_QBF_TMaMWP8JynPbXZw9FnM6XtkTS5t3NgCbpbK 25.00
TMPBf..conj_CombUnif_TMPBf9uZ68N6jHmK7XM8cWLn57wnYz2VisK 25.00
TMcLg..conj_DiophantineMod_TMcLgjDtqLx1v5BnrYrcuYUCmZiUWg8yJo7 25.00
TMbpA..conj_CombUnif_TMbpAhFPDXkevYU1XqVo54afki6yten3SYE 25.00
TMYXR..conj_QBF_TMYXRryBFqURy5evp3ExYPiaJqqhvzHmcF8 25.00
TMMWE..conj_Random2_TMMWEccyydreNAuWgWygSa5dDuVJ9cHj5Wr 25.00
TMHr1..conj_HOUnif_TMHr1RXeXUGxBaLvHFphdi3xZ1fxbfcNEKs 25.00
TMZCH..conj_HOSetConstr_TMZCHMPWBRVDfk41jyc1NgaEyKPpa5P5nDU 25.00
TMVix..conj_Random1_TMVixMcejXURDNZndYwXpogcwCpVfq4B7FG 25.00
TMMCx..conj_AbstrHF_TMMCxKrsJD4Y6w5ddjy8KcrfPPSJ4GCuG6H 25.00
TMRPt..conj_CombUnif_TMRPt7QF2xrE2USGo2m2DvNvPbPNeXG3uf1 25.00
TMce4..conj_QBF_TMce4PwaRVc1DZGRfbXGBacqV4gTEHPkbFt 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