[isabelle-dev] Does Isabelle support code generation in C/C++ or maybe even java ???
lammich at in.tum.de
Thu Dec 1 11:56:14 CET 2016
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
On Do, 2016-12-01 at 10:14 +0000, David Blubaugh wrote:
> Does Isabelle support code generation in C/C++ or maybe even java ???
> David Blubaugh
> Electrical Engineer
> ATR Associate
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev