mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics - View it on GitHub