OpenLogicProject

Les issues sur lesquelles quelqu’un travaille peut-être déjà sont listées en dernier. Tout trier par date

• Empty para structures before and after proofs

  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é 4/5 3-5 jours Accessibilité débutants 38/100

  OpenLogicProject/fitch#13 · Ouverte le 4/10/2026

• Consolidated translation findings: 14 source-fix groups with an applicable patch

  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é 4/5 3-5 jours Accessibilité débutants 50/100

  OpenLogicProject/OpenLogic#436 · Ouverte le 25/9/2026

• Seven localized source corrections found during translation QA

  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 68/100

  OpenLogicProject/OpenLogic#435 · 1 commentaire · Ouverte le 17/8/2026

• Properly support tagging

  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 35/100

  OpenLogicProject/fitch#11 · 1 commentaire · Ouverte le 25/7/2026

• Order-type of models of PA

  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 30/100

  OpenLogicProject/OpenLogic#425 · 1 commentaire · Ouverte le 18/3/2026

• Improve docs

  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 25/100

  OpenLogicProject/OpenLogic#390 · Ouverte le 30/3/2025

• Linting/Spellchecking workflow

  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é 4/5 3-5 jours Accessibilité débutants 30/100

  OpenLogicProject/OpenLogic#389 · 1 commentaire · Ouverte le 30/3/2025

• Can I contribute proofs to theorems whose proof left for exercise?

  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

  OpenLogicProject/OpenLogic#362 · 3 commentaires · Ouverte le 10/2/2024

• Russel's Paradox typo

  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 65/100

  OpenLogicProject/OpenLogic#339 · 1 commentaire · Ouverte le 25/9/2023

• More precise definition of derivations in natural deduction

  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 38/100

  OpenLogicProject/OpenLogic#300 · 4 commentaires · Ouverte le 14/2/2022

• Justify intuitionistic logic through the BHK interpretation could be problematic

  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 25/100

  OpenLogicProject/OpenLogic#288 · Ouverte le 25/11/2021

• Recursive functions and the Church-Turing thesis

  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é 4/5 3-5 jours Accessibilité débutants 25/100

  OpenLogicProject/OpenLogic#232 · 4 commentaires · 1 réaction · Ouverte le 16/4/2020

• Provide the reader with full information

  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 25/100

  OpenLogicProject/OpenLogic#227 · 1 réaction · Ouverte le 24/1/2020

• [feature request] Grounding examples for abstract concepts

  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

  OpenLogicProject/OpenLogic#225 · Ouverte le 15/1/2020

• Turing machine continuity w/ other definitions

  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é 2/5 1-3 heures Accessibilité débutants 35/100

  OpenLogicProject/OpenLogic#221 · 1 commentaire · Ouverte le 28/12/2019

• Convert formulas to OLP commands in set-theory

  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é 4/5 3-5 jours Accessibilité débutants 35/100

  OpenLogicProject/OpenLogic#205 · Ouverte le 29/8/2019

• Uniformize reduction, conversion, contraction, equivalence

  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 30/100

  OpenLogicProject/OpenLogic#190 · Ouverte le 28/2/2019

• Add proof of fundamental theorem of arithmetic

  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 45/100

  OpenLogicProject/OpenLogic#189 · 3 commentaires · Ouverte le 27/2/2019

• Proof of Consistency Expansion (First Order Logic - Completeness)

  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 45/100

  OpenLogicProject/OpenLogic#179 · 1 commentaire · Ouverte le 14/6/2018

• Make tableaux into decision procedures when possible

  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 25/100

  OpenLogicProject/OpenLogic#178 · 1 commentaire · Ouverte le 2/4/2018

• Make tableaux signed/unsigned per tag

  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é 4/5 3-5 jours Accessibilité débutants 35/100

  OpenLogicProject/OpenLogic#176 · Ouverte le 27/3/2018

• Syntax and Semantics for FOL material has become too technical

  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 25/100

  OpenLogicProject/OpenLogic#173 · 3 commentaires · Ouverte le 5/3/2018

• Left-align signed formulas in tableaux

  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 45/100

  OpenLogicProject/OpenLogic#172 · Ouverte le 27/2/2018

• Completeness for modal tableaux

  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 25/100

  OpenLogicProject/OpenLogic#171 · 1 commentaire · Ouverte le 27/2/2018

• On verifying that primitive-recursive functions are provably total in PA

  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é 4/5 3-5 jours Accessibilité débutants 25/100

  OpenLogicProject/OpenLogic#160 · 9 commentaires · Ouverte le 10/11/2017

• Make independent of memoir

  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
  LaTeX

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

  OpenLogicProject/OpenLogic#151 · Ouverte le 21/8/2017

• PDF generation for reviewing changes in pull requests

  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 25/100

  OpenLogicProject/OpenLogic#148 · 14 commentaires · Ouverte le 18/7/2017

• Figure out how diagrams should work

  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

  OpenLogicProject/OpenLogic#141 · 1 commentaire · Ouverte le 6/7/2017

• Provability in PA

  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é 4/5 3-5 jours Accessibilité débutants 35/100

  OpenLogicProject/OpenLogic#128 · Ouverte le 3/6/2017

• Explain formulas in SOL

  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 48/100

  OpenLogicProject/OpenLogic#127 · Ouverte le 2/6/2017

• Index

  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
  LaTeX

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

  OpenLogicProject/OpenLogic#84 · Ouverte le 4/3/2016

• Generate PDF/A output

  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
  enhancement LaTeX

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

  OpenLogicProject/OpenLogic#82 · Ouverte le 22/1/2016

• Replace token mechanism with one based on glossaries.sty

  Peut-être à nouveau libre @rzach l’a pris il y a 3952 jours, et aucune pull request n’est ouverte. 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
  enhancement

  OpenLogicProject/OpenLogic#78 · 1 personne assignée · Ouverte le 10/12/2015

• Make the OLP accessible

  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
  enhancement LaTeX

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

  OpenLogicProject/OpenLogic#76 · 1 commentaire · Ouverte le 25/11/2015

• Replace tag backend by tagged package

  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
  enhancement LaTeX

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

  OpenLogicProject/OpenLogic#75 · Ouverte le 25/11/2015

• Expand chapter on "Lambda Calculus"

  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
  enhancement

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

  OpenLogicProject/OpenLogic#66 · Ouverte le 17/10/2015

• Part on "Intuitionistic Logic"

  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
  addition

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

  OpenLogicProject/OpenLogic#64 · Ouverte le 17/10/2015

• Abstract logic satisfaction relation hardcoded

  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é 2/5 1-3 heures Accessibilité débutants 48/100

  OpenLogicProject/OpenLogic#55 · 2 commentaires · Ouverte le 20/9/2015

• Additions from available (non-CC) material

  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
  enhancement

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

  OpenLogicProject/OpenLogic#41 · 5 commentaires · Ouverte le 4/5/2015

• Glossary & List/Index of symbols

  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
  enhancement LaTeX

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

  OpenLogicProject/OpenLogic#40 · 2 commentaires · Ouverte le 9/4/2015

• More careful object/metalanguage distinction

  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

  OpenLogicProject/OpenLogic#24 · 1 commentaire · Ouverte le 10/2/2015

• Add provability with open formulas

  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

  OpenLogicProject/OpenLogic#18 · Ouverte le 10/7/2014

• Alternate Representability in Q for Recursive Functions

  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

  OpenLogicProject/OpenLogic#17 · Ouverte le 10/7/2014

• open-logic-defer should offer more options

  Peut-être à nouveau libre @rzach l’a pris il y a 4696 jours, et aucune pull request n’est ouverte. 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
  enhancement LaTeX

  OpenLogicProject/OpenLogic#3 · 1 personne assignée · Ouverte le 26/11/2013

• Part on "Model Theory"

  Peut-être pris Une pull request liée à cette issue est ouverte ou déjà fusionnée. 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
  enhancement

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

  OpenLogicProject/OpenLogic#65 · 1 commentaire · Ouverte le 17/10/2015