help button

Évaluation

Cette issue n'a pas encore été évaluée.

Description

Préparer son environnement

Par où commencer

1. Lisez l'issue en entier, puis le guide de contribution du projet.
2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
3. Forkez le dépôt et travaillez sur une branche.
4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de leanprover/leanprover.github.io

• How to contribute a Chinese translation for homepage?

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100

  leanprover/leanprover.github.io#115 · Ouverte le 7/6/2024

• Installation instructions incomplete

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 1/5 Moins d'une heure Accessibilité débutants 55/100

  leanprover/leanprover.github.io#102 · 2 commentaires · Ouverte le 5/9/2023

• Website Changes

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 15/100

  leanprover/leanprover.github.io#66 · 1 commentaire · 3 réactions · Ouverte le 7/4/2017

• mouse-hover type information breaks on pane resize

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

  leanprover/leanprover.github.io#61 · 1 commentaire · Ouverte le 31/1/2017

• Displays poorly on mobile devices

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 3/5 1-2 jours Accessibilité débutants 25/100

  leanprover/leanprover.github.io#52 · Ouverte le 13/1/2017

Toutes les issues de leanprover/leanprover.github.io