search

leanprover / vscode-lean4

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

chore: remove rial symbol #525

Closed mhuisi closed 3 weeks ago

mhuisi commented 3 weeks ago

Closes #522.