Is it possible to call Isabelle from external programms (Java, Scheme/Guile)? I have not managed to find documentation about APIIs it possible to call Isabelle from external p
阅读背景：
从外部软件调用Isabelle（Java，Scheme）
来源：互联网
分享到：
