Proofgold bounties

Description of bounties

Open bounties

TMVPB..^t5_yellow12 25.00
TMSCK..^t4_pralg_3 25.00
TMYGY..^t51_sin_cos7 25.00
e5992..^{MetaCat_struct_b_b_r_e_e_ordered_field_terminal} 25.00
38cd2..^{MetaCat_struct_b_b_r_e_e_ordered_field_initial} 25.00
e9603..^{MetaCat_struct_b_b_e_e_cring_initial} 25.00
49ffb..^{MetaCat_struct_b_b_e_e_ring_terminal} 25.00
088b7..^{MetaCat_struct_b_b_e_e_field_initial} 25.00
c07a0..^{MetaCat_struct_b_b_e_e_field_terminal} 25.00
323c3..^{MetaCat_struct_b_b_e_e_cring_terminal} 25.00
27f55..^{MetaCat_struct_b_b_e_e_ring_initial} 25.00
2e28b..^{MetaCat_struct_b_b_r_e_e_terminal} 25.00
d5ab2..^{MetaCat_struct_b_b_r_e_e_initial} 25.00
674c6..^{MetaCat_struct_b_b_e_e_semiring_terminal} 25.00
c549e..^{MetaCat_struct_b_b_e_rng_terminal} 25.00
0e3a3..^{MetaCat_struct_b_b_e_crng_initial} 25.00
2d772..^{MetaCat_struct_b_b_e_initial} 25.00
929dd..^{MetaCat_struct_b_b_e_rng_initial} 25.00
869d4..^{MetaCat_struct_b_b_e_e_semiring_initial} 25.00
5cc29..^{MetaCat_struct_b_b_e_e_initial} 25.00

More open bounties

Collected bounties

eb16c..^{conj_AIM1_TMLYPD945dW8Ddtt6MpyaEScJRGrKSSLswp} 26.00
f8395.. 26.00
fb325..^{conj_AIM2_TMUd2XAQYTzeFJ4WvEgR9Uxe3gon5AG2df8} 26.00
912c3.. 26.00
76720..^{conj_AIM2_TMPE788qBEcWCSCdFQ2cmFNZYJoSLCBFgxf} 26.00
a87fe.. 26.00
0b6ad..^{conj_AIM2_TMMaeHMV9CMgbCgY6TE7NUph53DMQjEoBhX} 26.00
ac5e5..^{conj_AIM1_TMMNncgPQSzHVwaoRpBRmVV7rwqV2BVRpMM} 26.00
3877d.. 26.00
7e096..^{conj_AIM2_TMd1mdzMzRsLmrwqdnW46Tda49rKv9vAkKM} 26.00
c61e7..^{conj_AIM1_TMU2xy7L8hrVUdoYURXuYSw4UkusyYjw32q} 26.00
6f146.. 26.00
0289e..^{conj_AIM1_TMVNLxKPxZF3eaVFzf5yrcdaTbskVJJc79W} 26.00
5edf5..^{conj_AIM1_TMU5NE6XLRmmYxRdEZMdJVN4y7y1chGNixi} 26.00
9c05f..^{conj_AIM2_TMUCNN5bPJdFxEPtRCpQqHMGPR8DrsQLtwv} 26.00
fb21c.. 26.00
700a7.. 26.00
2172a..^{conj_AIM2_TMJQC7xe6SxCRhzMw2rvjyHyiuFnyWr68eQ} 26.00
9ce88.. 26.00
a9f4a.. 26.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88