Display statistics on the current state of proof environment, e.g. paragraphs in CZT x paragraphs in ZEves; number of theorems. etc
Log in to post a comment.