Closed ghost closed 12 months ago
I believe the replay feature isn't fully supported anymore in 2HOL.
I believe the replay feature isn't fully supported anymore in 2HOL.