Code

Feat : Troubleshooting Page#379

Code

Open

Shreyas4991 wants to merge 6 commits intoleanprover-community:lean4leanprover-community/leanprover-community.github.io:lean4from Shreyas4991:lean4Shreyas4991/leanprover-community.github.io:lean4Copy head branch name to clipboard

Commits

Commits on Oct 14, 2023

• Added Troubleshooting page with basic text

  Shreyas4991

  committed
  330fdb9

  Copy full SHA for 330fdb9

• Added menu entry for troubleshooting page

  Shreyas4991

  committed
  ac4a4ff

  Copy full SHA for ac4a4ff

• Added a sentence indicating that this is a WIP

  Shreyas4991

  committed
  ac566c0

  Copy full SHA for ac566c0

Commits on Oct 17, 2023

• Added basic fixes. Modified some for clarity and correctness

  Shreyas4991

  committed
  07e0ca8

  Copy full SHA for 07e0ca8

• Small Typos fixed

  Shreyas4991

  committed
  bd4d836

  Copy full SHA for bd4d836

Commits on Oct 18, 2023

• Update troubleshoot.md

  Show description for 325d77d
  Shreyas4991

  authored
  325d77d

  Copy full SHA for 325d77d