mechanization for livelits paper, https://github.com/hazelgrove/livelits-paper - View it on GitHub