У меня долгое развитие в Изабель, и я хотел бы получить некоторую статистику о том, сколько строк для определений, сколько для утверждений и сколько комментариев.
Есть ли в Изабель такой инструмент (например, coqwc for coq)?Я прочитал Системное руководство Изабель , но не смог найти ничего подходящего.