search

leanprover / vscode-lean4

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

fix: leading bang is a word separator #527

Closed mhuisi closed 2 months ago

mhuisi commented 2 months ago

Fixes #526.