[opentheory-users] article reader for HOL4

Ramana Kumar ramana.kumar at gmail.com
Sat Jan 8 17:54:44 UTC 2011


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