search

leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant
Apache License 2.0
158 stars 48 forks source link

Fix incorrect string formatting #439

Closed eric-wieser closed 5 months ago

eric-wieser commented 5 months ago

Oops