formalized mathematics
已收录下载：1条
-
工具软件 | 6天前 | functional programming · theorem prover · formalized mathematics · mathematical logic · document preparation · Visual Studio Code新的介绍内容：Isabelle/VSCodeProverIDE(PIDE)扩展已被标记为过时。最后一个支持单独VSCode扩展的Isabelle版本是2021-1版（2021年12月发布），您可以在公共市场上找到标记为"makarius.Isabelle2021-1"的扩展。从Isabelle2022版本开始，Isabelle/VSCode已被完全集成到Isabelle发行版中，不再需要单15