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
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
