[isabelle-dev] Does Isabelle support code generation in C/C++ or maybe even java ???

[David Blubaugh]

Does Isabelle support code generation in C/C++ or maybe even java ???


Thanks,
David BlubaughElectrical EngineerATR Associate




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20161201/a1d53730/attachment.html>