Я только что написал реализацию сопрограммы (в качестве упражнения), основанную на Mono Continuations (очень странный опыт).Какими путями / подходами я должен воспользоваться, чтобы доказать его правильность?