OneDrive Support

Assessment

This issue has not been assessed yet.

Description

Contributor guide

No contributing guide indexed for this repository

First steps

1. Read the whole issue, then the project's contributing guide.
2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
3. Fork the repository and make your change on a branch.
4. Open a pull request that references the issue number.

More from leanprover/leanprover.github.io

• How to contribute a Chinese translation for homepage? Open

  Difficulty 5/5 Over a week Newbie friendliness 20/100

  leanprover/leanprover.github.io#115 · Opened Jun 7, 2024

• Installation instructions incomplete Open

  Difficulty 1/5 Under an hour Newbie friendliness 55/100

  leanprover/leanprover.github.io#102 · 2 comments · Opened Sep 5, 2023

• Website Changes Open

  Difficulty 5/5 Over a week Newbie friendliness 15/100

  leanprover/leanprover.github.io#66 · 1 comment · 3 reactions · Opened Apr 7, 2017

• mouse-hover type information breaks on pane resize Open

  Difficulty 3/5 1-2 days Newbie friendliness 35/100

  leanprover/leanprover.github.io#61 · 1 comment · Opened Jan 31, 2017

• Displays poorly on mobile devices Open

  Difficulty 3/5 1-2 days Newbie friendliness 25/100

  leanprover/leanprover.github.io#52 · Opened Jan 13, 2017

All issues in leanprover/leanprover.github.io