Menu

#16 Display statistics on proof environment

open
5
2011-11-11
2011-11-11
No

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

Discussion


Log in to post a comment.