[opentheory-users] Isabelle

[Ramana Kumar]

Oh I see you mention Isabelle briefly at the end of your paper.

On Mon, Jan 10, 2011 at 7:27 PM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
> How much (and what) work would be necessary to extend OpenTheory
> interoperability to Isabelle/HOL?
> Is that a long-term goal of the project?
> What about to non-HOL provers? I certainly imagine ideas from
> OpenTheory might be used in an even more radical inter-logic theory
> packaging system, but could that system in fact be a distant version
> of OpenTheory itself?
>