[opentheory-users] article reader for HOL4

Ramana Kumar ramana.kumar at gmail.com
Sun Jan 9 13:43:22 UTC 2011


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?
>



More information about the opentheory-users mailing list