Proofgold bounties

Description of bounties

Open bounties

TMHez..^{conj_HOSetConstr_TMHezcCXbcuzEmH4wqxRkGsfqBcVSxPiQru} 25.00
TMQBu..^{conj_Diophantine_TMQBujD83ezCDzdFmFk4Bt6z1pZMMy3h959} 25.00
TMbaV..^{conj_AbstrHF_TMbaV5dxFkc97kJtdMRLga4MM7KkBr377pJ} 25.00
TMcnb..^{conj_Random3_TMcnbGNrki6kckhfZddLRRizKCdkD4nACLR} 25.00
TMFNP..^{conj_CombUnif_TMFNPL9PAHsYLwioqsGShz9tJcmMZ8dhyfx} 25.00
TMXvp..^{conj_QBF_TMXvpFseuzWavXgTCNZjk7KjwYgeZ2bUCfd} 25.00
TMJcF..^{conj_AbstrHF_TMJcFvFEaf4cvZBrdeH47Qwf7aFeV5VVrw9} 25.00
TMbgC..^{conj_QBF_TMbgCbd6azn3vbB1y3jWL3pQU3a7dpjaybA} 25.00
TMVX3..^{conj_Random2_TMVX3aLbsURiES9rip6Kpcy3wMgYJpzL6n5} 25.00
TMR4V..^{conj_Random2_TMR4V4zxWLyk9hr24obt2fZA1ZLXxYDQzPc} 25.00
TMSDd..^{conj_Diophantine_TMSDdy2ZP6oFPYB5DykvDCwGSVFXwG77zLf} 25.00
TMMzQ..^{conj_Random1_TMMzQ9L9zvDmcxKHCRUNmc5E4fikdNpQabt} 25.00
TMR2E..^{conj_HOSetConstr_TMR2EWxtvTuLZ3d4wEQwQgGP7KwoCqXQoim} 25.00
TMGgU..^{conj_CombUnif_TMGgUtj13cY5QaoVybECjPWNn9ahrvPFunY} 25.00
TMQye..^{conj_AbstrHF_TMQyeBdyXDy74W5WcLHEhvSrTFHKohCkhcA} 25.00
TMPKy..^{conj_Diophantine_TMPKyWcKNxZF6rsP3Z6uPH4SzXw5Z5TZmjq} 25.00
TMEqt..^{conj_HOSetConstr_TMEqtv2H31FUuSFQqkgJjv5eXmZ7yHtU8fL} 25.00
TMXwc..^{conj_AbstrHF_TMXwcg4Zg7sc2hvQfcbjoPKRtAVhyj6vVbp} 25.00
TMQzD..^{conj_Diophantine_TMQzDwyfGJoPpnp96wej4gjqb4XEHrmcC1B} 25.00
TMTNr..^{conj_HOSetConstr_TMTNrkJQua8CqtLEV6QrCDF3EHMmoDrskEd} 25.00

More open bounties

Collected bounties

592be..^{MetaCat_struct_p_product_exponent} 250.00
1f2a9..^{MetaFunctor_struct_e_struct_p_nonempty} 250.00
a53be..^{MetaCatSet_pullback_gen} 250.00
25c26..^{MetaCatSet_subobject_classifier} 250.00
833b6..^{MetaCatSmallSet_nno} 250.00
d6d09..^{MetaCat_struct_r_wellord_nno} 250.00
15618..^{MetaCatSet_pushout} 250.00
3aa34..^{MetaCat_struct_r_graph_subobject_classifier} 250.00
12c76..^{MetaCat_struct_u_nno} 250.00
e5b47..^{MetaCatSet_subobject_classifier_gen_ex} 250.00
bfc42..^{MetaCatHFSet_pushout} 250.00
dcba1..^{MetaCat_struct_p_nno} 250.00
1051b..^{MetaCatSet_nno_gen_ex} 250.00
e6d9e..^{MetaCat_struct_b_group_equalizer_constr} 125.00
994bf..^{MetaCat_struct_b_abelian_group_equalizer_constr} 125.00
f1b36..^{MetaCat_struct_b_loop_equalizer_constr} 125.00
1451d..^{MetaCat_struct_b_monoid_equalizer_constr} 125.00
9347c..^{MetaCat_struct_b_semigroup_equalizer_constr} 125.00
b8635..^{MetaCat_struct_b_quasigroup_equalizer_constr} 125.00
1d8ba..^{MetaCat_struct_r_equalizer_constr} 125.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88