Add provability with open formulas
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 3/5
- Temps estimé
- 1-2 jours
- Accessibilité débutants
- 35/100
- Type d'issue
- Documentation
- Clarté
- Plutôt claire
- Activité
- À l'abandon
- Stack technique
- tex
- Domaine
- documentation
Piste de recherche
Repérez la section sur l’incomplétude et le contenu concernant fol/seq dans les sources du manuel, puis lisez la discussion environnante sur les preuves avec des formules ouvertes. Ajoutez une explication de ce que signifient les formules ouvertes dans LK et confirmez que cette explication s’intègre au traitement existant et s’affiche correctement.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
The incompleteness part has a lot of poofs with open formulas. Need to add explanation of what that means in LK to fol/seq
- Langage dominant
- TeX
- Étoiles
- 1.4k
- Forks
- 292
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Préparer son environnement
Ce projet ne fournit ni conteneur de développement, ni Dockerfile, ni guide de contribution : l'installation est à votre charge. Commencez par son README, et consultez notre guide de la première contribution pour les étapes générales.
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de OpenLogicProject/OpenLogic
-
Difficulté 2/5 1-3 heures Accessibilité débutants 70/100
OpenLogicProject/OpenLogic#437 ·
-
Russel's Paradox typoOuverte
Difficulté 1/5 Moins d'une heure Accessibilité débutants 65/100
OpenLogicProject/OpenLogic#339 · 1 commentaire ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 50/100
OpenLogicProject/OpenLogic#436 ·
-
Difficulté 3/5 1-2 jours Accessibilité débutants 68/100
OpenLogicProject/OpenLogic#435 · 1 commentaire ·
-
Order-type of models of PAOuverte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 30/100
OpenLogicProject/OpenLogic#425 · 1 commentaire ·
Toutes les issues de OpenLogicProject/OpenLogic
Issues similaires
-
Difficulté 2/5 1-3 heures Accessibilité débutants 64/100
streamlink/streamlink#7192 · 4 commentaires ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 1/5 1-3 heures Accessibilité débutants 75/100
Les mainteneurs répondent en général sous 2 jours
-
Difficulté 2/5 1-3 heures Accessibilité débutants 82/100
aws-samples/sample-per-model-bedrock#795 ·
Les mainteneurs répondent en général sous 1 jour
-
documentation easy good first issue help wanted
Difficulté 1/5 1-3 heures Accessibilité débutants 83/100
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 2/5 1-3 heures Accessibilité débutants 74/100
Les mainteneurs répondent en général sous 1 jour