Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
68c7f..conj_AIM2_TMYZge3jH4ofq1k7E1rJ2MYTeqoAzfXAHdD 26.00
3dfcd..conj_AIM1_TMd6a5d85VsMDK4tveY8ATu8ogFcqdjHrJh 26.00
e7961..conj_AIM2_TMPaRhzCsETgHMNFgam4voRKKXGEgxzvhug 26.00
29d0c..conj_AIM2_TMcYSUbHgjSpeAstns8dEPmaNPrFpxPA4cq 26.00
98c66..conj_AIM1_TMMW6gYYadZ2VcDwVib12Hy91pKxR4EwvN4 26.00
34052..conj_AIM2_TMa1H8YvWsE9m7K9C7R7GsAhd3HATcmgxvG 26.00
1175b..conj_AIM1_TMcRGdYHhv659u1MF1niUwrzNpCskbDKyaw 26.00
cc044..conj_AIM2_TMbgPPKra8TvoG8ZJLEpcM4ZFXFd8e6PbBa 26.00
96d4a..conj_AIM1_TMafrAT7agAHmG6njbqswAbyFZLbHrtqRwG 26.00
b0d5a..conj_AIM2_TMdLRoWSfLujs1oqniNe4LR4s3jKCUHG6tf 26.00
e6c75..conj_AIM2_TMH1p523wJ63Ca1VtgunjqAkPwCZKWhAnG1 26.00
4e243..conj_AIM2_TMXeov9CnzWVQ4vLG9foxHMAR5GV3JAtvqq 26.00
b0ad1..conj_AIM2_TMJAS1CwuBSxjyvQooCyEW3ymaCUH81aSMr 26.00
e5335..conj_AIM2_TMGdCJPrxwjG7BU3rkTRQKiToXRebkERKKz 26.00
e009b..conj_AIM1_TMMhdr16nLvN3TMP5srBURuJatVJu3eurM9 26.00
d4c15..conj_AIM1_TMFw8qJVKr2e9kkJGB6BXAMRkYRntuk1f1p 26.00
f5ef7..conj_AIM1_TMH4D3ZqXKJwMf92fA891NvZUDHgquwHffE 26.00
c0b06..conj_AIM2_TMSkmrcYDU3cHDFoAS3NHFQqNn73dP1TyJk 26.00
9a8cc..conj_AIM1_TMJsusEhwNWsaRE2MTs7Z2UV7iN9MGfqvGQ 26.00
6d102..conj_AIM1_TMJYZNCLsFwizzQyjpH1dNrtdiB8Mpzm21h 26.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