search

leanprover / vscode-lean4

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

feat: support for new manifest version format #467

Closed mhuisi closed 5 months ago

mhuisi commented 5 months ago

Lake changed its Manifest version format to semantic versioning in https://github.com/leanprover/lean4/pull/4083. This PR ensures that we can still parse the new format.