Yet another proof of Newman's lemma, this time using the coherent logic prover.
Yet another proof of Newman's lemma, this time using the coherent logic prover.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle