Proofgold recent bounties

Recently placed bounties

TMbaV..^{conj_AbstrHF_TMbaV5dxFkc97kJtdMRLga4MM7KkBr377pJ} 25.00
TMQBu..^{conj_Diophantine_TMQBujD83ezCDzdFmFk4Bt6z1pZMMy3h959} 25.00
TMHez..^{conj_HOSetConstr_TMHezcCXbcuzEmH4wqxRkGsfqBcVSxPiQru} 25.00
TMKK8..^{conj_CombUnif_TMKK8GiH3Y7d5jYev4WMqGEaUgacEdiGb7K} 25.00
bbce6.. 25.00
002bf.. 25.00
c4af8.. 25.00
TMJG3..^{conj_Diophantine_TMJG32paACNWWxtLz4sFPyKVxzHZA1QANKc} 25.00
TMYih..^{conj_Diophantine_TMYihGGqGdu1ZPSjVdN6jVZZ3ztbxUiahd2} 25.00
3c117.. 25.00
TMbfH..^{conj_AbstrHF_TMbfH9pgtP49ZT8VRGt3Z8dNvZkxKHRhr9Q} 25.00
TMNM9..^{conj_DiophantineMod_TMNM9nnbN5LSbnisDinCzeGzDf1UctqTbLT} 25.00
TMFG2..^{conj_AbstrHF_TMFG2E4cayoQdpVtEYL1jgX6DLWeSb61tUL} 25.00
dfdb1.. 25.00
c2e8b.. 25.00
TMFxA..^{conj_Diophantine_TMFxALp9nDPXmbocwruoMkwSjwzhXpABn1R} 25.00
fd42d.. 25.00
a0571.. 25.00
70b93.. 25.00
35157.. 25.00

More recent placed

Recently collected bounties

68f35.. 26.00
165d8.. 26.00
a1b14.. 26.00
ee3db.. 26.00
2f503.. 26.00
4e4ad.. 26.00
7d2a1.. 26.00
57f50..^{MetaCat_struct_r_per_equalizer_constr} 125.00
ef69d..^{MetaCatHFSet_coequalizer} 125.00
e3112..^{MetaCat_struct_p_nonempty_equalizer_constr} 125.00
5bbc1..^{MetaCatSet_coequalizer_gen} 125.00
03706..^{MetaCatHFSet_equalizer_gen} 125.00
56101..^{MetaCat_struct_p_equalizer_constr} 125.00
33046..^{MetaCatSet_coequalizer} 125.00
3d3ca..^{MetaCatSmallSet_equalizer_gen} 125.00
ae25c..^{MetaCatSet_equalizer_gen} 125.00
04991..^{MetaCatSmallSet_coequalizer} 125.00
06b27..^{MetaCat_struct_r_graph_equalizer_constr} 125.00
3d0dd..^{MetaCat_struct_r_partialord_equalizer_constr} 125.00
99d06..^{MetaCat_struct_r_equivreln_equalizer_constr} 125.00

Proofgold recent bounties

More recent placed

More recent collected