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

theorems-from-file redundant?

Subject: theorems-from-file redundant?
From: Chris Warburton
Date: Sat, 10 Jun 2017 14:23:12 +0100
Resolution: fixed
State: resolved

Looks pretty useless; throw it out, and simplify away anything it needed.

Follow-Ups:
- Re: theorems-from-file redundant?
  - From: Chris Warburton
- Re: theorems-from-file redundant?
  - From: Chris Warburton
- Re: theorems-from-file redundant?
  - From: Chris Warburton

Next by Date: precision-recall-eqs-wrapper file reading
Next by thread: Re: theorems-from-file redundant?
Index(es):
- Date
- Thread