Originally posted by Bobic
Of course it's possible to exchange information included in our databases with other projects, such as HOL. But you have to talk to Hippie2000 about that. He's our coder, he knows all about technical things and what could be possible. I can't help in such things.
Agreed with Akira, it seems a bit pointless to have 2 projects with almost the same aims when HOL is already completely established.
Not quite sure how you have never noticed HOL before though...