Mechanizing Soundness of Off-Policy Evaluation. - Jared Yeager; J. Eliot B. Moss; Michael Norrish; Philip S. Thomas (ITP, 2022)