[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Length of proof



Is there a way to get the number of steps in a proof? I expect a step
here is one command as typed, but I'm happy to allow some flexibility, I
really just want some sort of measure on the size of proofs.

Thanks,
Hanne
---------------------------------------------------------
Hanne Gottliebsen		    Office P337
Dept. of Computer Science	    Ph: +44 1334 46 3265
University of St Andrews	    hago@dcs.st-and.ac.uk
  - I want a single-skin cotton tent like Mr Weasley's
---------------------------------------------------------