On 29/03/12 16:59, Rob Arthan wrote:
On 29 Mar 2012, at 15:02, Phil Clayton wrote:
On 27/03/12 08:36, Rob Arthan wrote:
On 25 Mar 2012, at 12:31, Phil Clayton wrote:
On 24/03/12 09:32, Rob Arthan wrote:
The scripts for the ProofPower mathematical case studies have a
little tool called "ch
On 29 Mar 2012, at 15:02, Phil Clayton wrote:
> On 27/03/12 08:36, Rob Arthan wrote:
>>
>> On 25 Mar 2012, at 12:31, Phil Clayton wrote:
>>
>>> On 24/03/12 09:32, Rob Arthan wrote:
The scripts for the ProofPower mathematical case studies have a little
tool called "check_thms" which d
On 27/03/12 08:36, Rob Arthan wrote:
On 25 Mar 2012, at 12:31, Phil Clayton wrote:
On 24/03/12 09:32, Rob Arthan wrote:
The scripts for the ProofPower mathematical case studies have a little tool called
"check_thms" which does a quality assurance check on the the theorems in a
theory. It ch