I think this is why Terence Tao created https://palomar-registry.org (I have no affiliation with them besides also having sent in a result there)
> I am at a loss about what to do with these results. I would recommend publishing them to Palomar (https://palomar-registry.org/) - I have no affiliation, this is an online registry of Lean-verified proofs created by…
I think this is why Terence Tao created https://palomar-registry.org (I have no affiliation with them besides also having sent in a result there)
> I am at a loss about what to do with these results. I would recommend publishing them to Palomar (https://palomar-registry.org/) - I have no affiliation, this is an online registry of Lean-verified proofs created by…