Re: [isabelle] Featherweight Java formalization in Isabelle?



> Is there an available formalization of FJ for Isabelle? I've read (on
> the POPLmark page) that it is available "soon".

I have seen it and its authors have promised to make it available via the
Archive of Formal Proofs.

Tobias





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.