Yes, and the standalone formal proof and independent review will follow.
By the way, I'd like to note that it will likely be a formalization of not the last result in that conversation, but of one of the initial proofs that relied on the Langford sequences and theorems of their existence.
Follow the link to the chat history. The last item is a full write up.
Yes, and the standalone formal proof and independent review will follow.
By the way, I'd like to note that it will likely be a formalization of not the last result in that conversation, but of one of the initial proofs that relied on the Langford sequences and theorems of their existence.