Thanks Lu! And thanks for Dr. Michael Norrish!
Sorry I'm not familiar with Structure Count. Now, I got it!
Best Wishes,
Liya
Quoting Michael Norrish michael.norr...@nicta.com.au:
On 07/04/11 14:19, Lu Zhao wrote:
First, please forgive me if this question is too silly. I had this
question
On Thursday 07 April 2011 02:07:11 am Michael Norrish wrote:
On 07/04/11 14:19, Lu Zhao wrote:
First, please forgive me if this question is too silly. I had this
question when I talked to a colleague, who has no idea about theorem
proving at all, about the amount of proof work that can be
