Proofgold recent bounties

Recently placed bounties

98c5a.. 25.00
TMP2A..^{conj_HOSetConstr_TMP2Ab1Y4EgSLtxBNYGivSoyod81yGCMdBM} 25.00
5a4bf.. 25.00
efa1a.. 25.00
TMQ7z..^{conj_DiophantineMod_TMQ7znPeyLi9XbY4BH9e1YtyWVs7Ea5WjyR} 25.00
TMXAZ..^{conj_DiophantineMod_TMXAZSmjtCqSXEHZEf6AJuSeuP1h8VSEQux} 25.00
TMGPU..^{conj_Diophantine_TMGPUGcjarTu482hGpv8Hazg1PH2gj4TMai} 25.00
TMQj6..^{conj_AbstrHF_TMQj6dYX46Xcs78sfnZHBBXUa1sWkuSabjq} 25.00
TMcrQ..^{conj_CombUnif_TMcrQFVGZjJ9UTNniJ6utVMAwCVXBMzKkLF} 25.00
TMGH3..^{conj_Diophantine_TMGH3DrJgK9RHTXBaWvoqmu9ycBz2MU8tzr} 25.00
TMXce..^{conj_AbstrHF_TMXceDPPcWm5gPfmuLP8qoPqAXrroCDh4WZ} 25.00
3677d.. 25.00
TMJ8r..^{conj_HOUnif_TMJ8rR3cQjG5EcFKXBgK4faSnuwhU8ihZyR} 25.00
TMFhr..^{conj_DiophantineMod_TMFhr3QgHWFiLch2wyADNmE2ZQSHMr5zSQ8} 25.00
TMaRa..^{conj_CombUnif_TMaRawCefHM5f5eiPnQyBMHQh86np3yXfTq} 25.00
TMTR8..^{conj_Diophantine_TMTR8xr7Dn5SQHwf6yxsg6vD1NNFZ58Fdiu} 25.00
TMYWn..^{conj_Diophantine_TMYWnEuvgPxQWu8MPGgjtPyBSg8QdJEvw1n} 25.00
f02bb.. 25.00
TMR3Z..^{conj_AbstrHF_TMR3ZsGpNkisT1xznPq9LnTosLiJVE2oLRF} 25.00
TMWwe..^{conj_Diophantine_TMWwech5UJf6JMuCWn4rpNAKnParGDusxe4} 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