The power and performance of Proof Animation | IEEE Conference Publication | IEEE Xplore