Documentation recourses broken

leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

Apache License 2.0

170 stars 49 forks source link

Closed fpvandoorn closed 1 month ago

fpvandoorn commented 1 month ago

∀ > Documentation > Show Documentation Recourses leads to a blank page The webpage leads to a 404.

mhuisi commented 1 month ago

This should now be unbroken since the website was reverted.