[isabelle] Easy And Language Integrated Use



Hi,

Is it possible to provide a way to use this within Scala IDE and also
integrate where you can have verification within the Scala language itself.

Suminda



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