Proofgold recent bounties

Recently placed bounties

af4ac.. 25.00
1bc64.. 25.00
TMHPF..^{conj_Diophantine_TMHPFMzaBDmD3wQZoUHP57H8a7AHBzuW4VN} 25.00
TMEtp..^{conj_Random3_TMEtp1VLyohnxRuiPH7w63QqjFycGR1pE99} 25.00
TMPfG..^{conj_Random2_TMPfGfGzourdwkEihmiHC8moc9ao7wdjb8m} 25.00
d60b1.. 25.00
ddc42..^{conj_AIM1_TMarLLbkpvqL7GsjVdY1bbS7m3sbrVyyVHd} 26.00
0d09f..^{conj_AIM2_TMc7hYvDkGpeFZ5DbrRqPYyHydSxSLA2JGj} 26.00
a2f20..^{conj_AIM1_TMVgHqsrqp8WfS6AZFZFyrhHRwWcYtsf8Zw} 26.00
9c369.. 26.00
6c0de..^{conj_AIM1_TMPoRhgzwVLUT5QCDmNY9Aq9frfMvLf2WPY} 26.00
70123..^{conj_AIM2_TMFab4mLwYHr3XRkR3dz77waWPqrr7nHj6j} 26.00
4bf1c..^{conj_AIM2_TMQTaYoguAVNBjWtRGfwkdsFKs14iXSdwbB} 26.00
bd2a8.. 26.00
b8913..^{conj_AIM2_TMK5SQZAiFZqkRLTeQvsc1boEQZ7acfGqhE} 26.00
f7f85..^{conj_AIM2_TMLSdVMyBk3tcFY3RBoaMZYpYtZSQcuB3Mn} 26.00
ada36..^{conj_AIM2_TMUjhpmqbCfq17NvL36r3X8gohfEVzmR2A4} 26.00
0c026..^{conj_AIM1_TMLhQQ3XKXJZn5hg4yH7VQJEJPCmGScAEvG} 26.00
9dfd2..^{conj_AIM2_TMXESskjk9rAK7hL2gbXTi8o4EbrwSU2TXn} 26.00
87c7d.. 26.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