Hi David, currently, the closest you can get is Scala, which can be linked to Java applications. Scala is supported out of the box by the code generator.
-- Peter On Do, 2016-12-01 at 10:14 +0000, David Blubaugh wrote: > Does Isabelle support code generation in C/C++ or maybe even java ??? > > > > Thanks, > > David Blubaugh > Electrical Engineer > ATR Associate > > > > > > _______________________________________________ > isabelle-dev mailing list > isabelle-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabel > le-dev _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev