机译:Isabelle / Scala和Isabelle / jEdit的异步证明处理
IsabelleScalajEditasynchronous proof processingre-use of editor and IDE frameworks;
机译:带有期货的异步组件:Isabelle / HOL中的语义和证明
机译:使用Isabelle / HOL和Scala验证模型转换
机译:Why3,Coq和Isabelle中Tarjan强连接组件算法的形式证明
机译:Isabelle / jEdit-PIDE框架中的Pro IDE
机译:东方妇女的三岁代表在董事会Gautier,Gustave Fraubert和Isabelle Eberhardt的作品中
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:2010):使用Isabelle / scala和Isabelle / jEdit进行异步验证处理