Hacker News new | ask | show | jobs
by Wizek 3132 days ago
Couldn't it be possible to unfold a proof by printing all the subsequent proof states one after the other? Wouldn't that be easier to follow?