Proofgold recent bounties

Recently placed bounties

97243..^{conj_AIM1_TMEugwrMPhagmL2bFX9mbaR8WUJsepHbfk3} 26.00
c181e..^{conj_AIM2_TMYDVSTcSKvxmV3dUmE4qy86pBUvVQ94rFf} 26.00
9334a..^{conj_AIM2_TMPY16ErrEco3BDH6nfyUxifrEKSY6V5Ren} 26.00
a15b9..^{conj_AIM1_TMPj4jaN9MLuLD943uKGwd5FJpoNiPxN7xg} 26.00
5557b..^{conj_AIM1_TMWD94vShCdS5r1m7RajchJE867oYttiNv8} 26.00
87ea9..^{conj_AIM1_TMKvx7CexwV5cK2HsX2dVGPsFqFJsH1WKCJ} 26.00
7a23b..^{conj_AIM1_TMRJ9mPnxPnpP3PyiAtaRrsyRueikwKUqnu} 26.00
1ba65..^{conj_AIM1_TMSvBLEbsTZfT1ZcfPfpyPuhXzDjQJ6ymyA} 26.00
9a776..^{conj_AIM2_TMRnHpYkay4nnUE4aAQF9wCBa6J1aGeU3Hx} 26.00
95adc..^{conj_AIM1_TMUMFGEGuhzysv4ZK1ZRhrqsUZytEdVS7qD} 26.00
248a7..^{conj_AIM1_TMdQZk3nVWnnTY6yniZRtp2TY4tEC9E42hf} 26.00
d4e85.. 26.00
69ab3..^{conj_AIM2_TMG3YGNuai7JrTzG1c2pRe7TzYeA2S8xFx2} 26.00
972d8..^{conj_AIM2_TMbnof1xrZJhSGREU6ZAXuhruhkK8uV6cse} 26.00
d9c80..^{conj_AIM2_TMbAPgcU2QMntqMPkycXhggBtkcQZ7ZKpY8} 26.00
cd98d..^{conj_AIM1_TMNuvhxBbiJ8dRKZF2mekbiDsHLnZLe4LPV} 26.00
9a279..^{conj_AIM1_TMYXqX5b2Rv4JrWpqsx8XdLVScK9Z5dJAke} 26.00
27cf2.. 25.00
TMLiR..^{conj_Diophantine_TMLiRMqt4yLpuQF7NCcUGvrLkdrqDBNNwSr} 25.00
TMZxs..^{conj_DiophantineMod_TMZxssCvga35cuXC8MXJEqkZeP6joeNTKVk} 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