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

c4dc5.. 26.00
d4568.. 26.00
90d1c.. 26.00
37460.. 26.00
03f1a.. 26.00
e41a9.. 26.00
5c3c2.. 26.00
b5b9b.. 26.00
e9785..^{MetaCat_struct_b_initial} 25.00
75fea..^{MetaCat_struct_u_terminal} 25.00
1e2ae..^{MetaCat_struct_u_initial} 25.00
021fd..^{MetaCat_struct_b_terminal} 25.00
150e3..^{MetaCat_struct_b_product_constr} 100.00
a9079..^{MetaCat_struct_u_product_constr} 100.00
ee44b..^{MetaCat_struct_u_equalizer_constr} 125.00
c368b..^{MetaCat_struct_b_equalizer_constr} 125.00
a238a..^{MetaCat_struct_b_pullback_constr} 250.00
75a41..^{MetaCat_struct_u_pullback_constr} 250.00
02ee4.. 26.00
6c796.. 26.00

Proofgold recent bounties

More recent placed

More recent collected