[opentheory-users] Problems with the hol light Open Theory support

Joe Leslie-Hurd joe at gilith.com
Thu Aug 1 22:45:26 UTC 2013

Hi Rob,

> http://www.gilith.com/research/opentheory/faq.html#export-from-hol-light
> That's very useful. Are there any analogous instructions for exporting from
> HOL4?

Ramana: you're the expert on this. If you put together a few notes
I'll gladly add them as a new FAQ.



More information about the opentheory-users mailing list