Avra Cohn

• A mechanized proof of correctness of a simple counter