Proofgold recent bounties

Recently placed bounties

eaf22.. 25.00
TMMew..^{conj_Diophantine_TMMewLeZEgh2Abum36bkjNRMdABvpngmtKo} 25.00
aa8c7.. 25.00
5750f.. 25.00
TMHza..^{conj_Diophantine_TMHzaqphLVEvkiAmmqxgXP8WmxxUAamSxmF} 25.00
TMLLV..^{conj_Diophantine_TMLLVGjVowu24Nd5TT86JGPnwRJag25Cpt3} 25.00
TMYrm..^{conj_AbstrHF_TMYrmjMfi2wkPTiPMV9oVBPzaEW71AJPQQN} 25.00
TMQbq..^{conj_DiophantineMod_TMQbqETTbghYxCwfz4HBiszhBc1qXHaKW5z} 25.00
TMNTt..^{conj_Diophantine_TMNTtKGziQVK5vwsMTgPjMjwCgTeK2oCipp} 25.00
2153a.. 25.00
8dfd1.. 25.00
TMWK3..^{conj_AbstrHF_TMWK3whEP9K6GZdcVcRVnP11ayzfumzVy6X} 25.00
1d2f6.. 25.00
TMYSt..^{conj_Diophantine_TMYStwaXrjyfLgcTEusLKRThpH93Xyydqdk} 25.00
d5088.. 25.00
de892.. 25.00
TMcvc..^{conj_AbstrHF_TMcvcUgXgZWH7st62SXET8yoNUPPdjjA9Vb} 25.00
TMU7g..^{conj_Diophantine_TMU7gvURSHXNc2b8mAKMFGLbrhcCZyvH9mY} 25.00
703cb.. 25.00
TMKYB..^{conj_Diophantine_TMKYBofZJ6p3n1veet1DGM8Z6gRznRqeqRz} 25.00

More recent placed

Recently collected bounties

57ed9..^{MetaCat_struct_p_nonempty_left_adjoint_forgetful} 750.00
538f6..^{MetaCat_struct_r_wellord_left_adjoint_forgetful} 750.00
123cf..^{MetaCat_struct_r_partialord_left_adjoint_forgetful} 750.00
82000..^{MetaCat_struct_r_ord_left_adjoint_forgetful} 750.00
8dcfe..^{MetaCat_struct_r_per_left_adjoint_forgetful} 750.00
1e88d..^{MetaCat_struct_r_graph_left_adjoint_forgetful} 750.00
5da2f..^{MetaCat_struct_c_left_adjoint_forgetful} 750.00
eeafe.. 1.00
b7323.. 1.00
form100_11_infinite_primes^{form100_11_infinite_primes} 500.00
056f4.. 25.00
7fba8.. 25.00
1ddc7.. 25.00
11a9d.. 25.00
35e2b.. 25.00
5f782.. 25.00
0008e.. 25.00
90f17.. 25.00
d22fa.. 25.00
8c107.. 25.00

Proofgold recent bounties

More recent placed

More recent collected