[isabelle-dev] Easy And Language Integrated Use

Suminda Dharmasena sirinath at sakrio.com
Sun Jan 5 10:06:59 CET 2014


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20140105/80ead208/attachment.html>


More information about the isabelle-dev mailing list