Visual Studio opens the Interactive Window for Python under the editor window. The window has the standard >>> Python REPL prompt: :::moniker range="visualstudio ...
echos the input annotated in alectryon style, at the corresponding line (not columns yet), with messages, proof states etc. highlights Lean 4 syntax in code cells via ...
一些您可能无法访问的结果已被隐去。
显示无法访问的结果