Если вы пропустили, мы опубликовали статью, демонстрирующую формальную надежность нашей NockVM https://t.co/PPVJ1zY8OA