[opentheory-users] interesting articles

[Joe Hurd]

Hi Ramana,

> Indeed how would you package the probability theories without a HOL4 exporter?
> By porting the script files to HOL-light manually?

My plan was rather to port my HOL Light exporter to HOL4. I just meant
that you building a HOL4 exporter would remove a task from the path
towards getting useful theories into OpenTheory format.

Cheers,

Joe