[opentheory-users] article reader for HOL4

[Joe Hurd]

Hi Ramana,

Thanks for implementing this: HOL4 is now the first theorem prover
with an article reader!

I'd like to try it out: how do I run it?

Cheers,

Joe

On Sun, Jan 9, 2011 at 5:43 AM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
> I have added a preliminary version of an article reader to HOL4
> (hol.sf.net, svn r8839)
>
> Which other proof assistants have readers, by the way? Is there a list
> somewhere?
>
> On Sat, Jan 8, 2011 at 5:54 PM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
>> Does anyone know if there's an article reader for HOL4?
>> Or, in fact, which theorem provers have article readers, and where can
>> they be found?
>> I'm thinking if there is none for HOL4 I should write it, and then put
>> it with the HOL4 sources - or should it come with the opentheory?
>>
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>