OpenLogicProject

Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data

• Empty para structures before and after proofs

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

  OpenLogicProject/fitch#13 · Aperta il 4/10/2026

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 50/100

  OpenLogicProject/OpenLogic#436 · Aperta il 25/9/2026

• Seven localized source corrections found during translation QA

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100

  OpenLogicProject/OpenLogic#435 · 1 commento · Aperta il 17/8/2026

• Properly support tagging

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

  OpenLogicProject/fitch#11 · 1 commento · Aperta il 25/7/2026

• Order-type of models of PA

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

  OpenLogicProject/OpenLogic#425 · 1 commento · Aperta il 18/3/2026

• Improve docs

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  OpenLogicProject/OpenLogic#390 · Aperta il 30/3/2025

• Linting/Spellchecking workflow

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100

  OpenLogicProject/OpenLogic#389 · 1 commento · Aperta il 30/3/2025

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

  OpenLogicProject/OpenLogic#362 · 3 commenti · Aperta il 10/2/2024

• Russel's Paradox typo

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 1/5 Meno di un'ora Idoneità per principianti 65/100

  OpenLogicProject/OpenLogic#339 · 1 commento · Aperta il 25/9/2023

• More precise definition of derivations in natural deduction

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 38/100

  OpenLogicProject/OpenLogic#300 · 4 commenti · Aperta il 14/2/2022

• Justify intuitionistic logic through the BHK interpretation could be problematic

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  OpenLogicProject/OpenLogic#288 · Aperta il 25/11/2021

• Recursive functions and the Church-Turing thesis

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

  OpenLogicProject/OpenLogic#232 · 4 commenti · 1 reazione · Aperta il 16/4/2020

• Provide the reader with full information

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  OpenLogicProject/OpenLogic#227 · 1 reazione · Aperta il 24/1/2020

• [feature request] Grounding examples for abstract concepts

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

  OpenLogicProject/OpenLogic#225 · Aperta il 15/1/2020

• Turing machine continuity w/ other definitions

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100

  OpenLogicProject/OpenLogic#221 · 1 commento · Aperta il 28/12/2019

• Convert formulas to OLP commands in set-theory

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  OpenLogicProject/OpenLogic#205 · Aperta il 29/8/2019

• Uniformize reduction, conversion, contraction, equivalence

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 30/100

  OpenLogicProject/OpenLogic#190 · Aperta il 28/2/2019

• Add proof of fundamental theorem of arithmetic

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

  OpenLogicProject/OpenLogic#189 · 3 commenti · Aperta il 27/2/2019

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

  OpenLogicProject/OpenLogic#179 · 1 commento · Aperta il 14/6/2018

• Make tableaux into decision procedures when possible

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  OpenLogicProject/OpenLogic#178 · 1 commento · Aperta il 2/4/2018

• Make tableaux signed/unsigned per tag

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  OpenLogicProject/OpenLogic#176 · Aperta il 27/3/2018

• Syntax and Semantics for FOL material has become too technical

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  OpenLogicProject/OpenLogic#173 · 3 commenti · Aperta il 5/3/2018

• Left-align signed formulas in tableaux

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

  OpenLogicProject/OpenLogic#172 · Aperta il 27/2/2018

• Completeness for modal tableaux

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  OpenLogicProject/OpenLogic#171 · 1 commento · Aperta il 27/2/2018

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

  OpenLogicProject/OpenLogic#160 · 9 commenti · Aperta il 10/11/2017

• Make independent of memoir

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  LaTeX

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  OpenLogicProject/OpenLogic#151 · Aperta il 21/8/2017

• PDF generation for reviewing changes in pull requests

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  OpenLogicProject/OpenLogic#148 · 14 commenti · Aperta il 18/7/2017

• Figure out how diagrams should work

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

  OpenLogicProject/OpenLogic#141 · 1 commento · Aperta il 6/7/2017

• Provability in PA

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  OpenLogicProject/OpenLogic#128 · Aperta il 3/6/2017

• Explain formulas in SOL

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100

  OpenLogicProject/OpenLogic#127 · Aperta il 2/6/2017

• Index

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  LaTeX

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  OpenLogicProject/OpenLogic#84 · Aperta il 4/3/2016

• Generate PDF/A output

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement LaTeX

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  OpenLogicProject/OpenLogic#82 · Aperta il 22/1/2016

• Replace token mechanism with one based on glossaries.sty

  Forse di nuovo libera @rzach l’ha presa 3952 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  OpenLogicProject/OpenLogic#78 · 1 assegnatario · Aperta il 10/12/2015

• Make the OLP accessible

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement LaTeX

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  OpenLogicProject/OpenLogic#76 · 1 commento · Aperta il 25/11/2015

• Replace tag backend by tagged package

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement LaTeX

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 50/100

  OpenLogicProject/OpenLogic#75 · Aperta il 25/11/2015

• Expand chapter on "Lambda Calculus"

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

  OpenLogicProject/OpenLogic#66 · Aperta il 17/10/2015

• Part on "Intuitionistic Logic"

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  addition

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

  OpenLogicProject/OpenLogic#64 · Aperta il 17/10/2015

• Abstract logic satisfaction relation hardcoded

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 2/5 1-3 ore Idoneità per principianti 48/100

  OpenLogicProject/OpenLogic#55 · 2 commenti · Aperta il 20/9/2015

• Additions from available (non-CC) material

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  OpenLogicProject/OpenLogic#41 · 5 commenti · Aperta il 4/5/2015

• Glossary & List/Index of symbols

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement LaTeX

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  OpenLogicProject/OpenLogic#40 · 2 commenti · Aperta il 9/4/2015

• More careful object/metalanguage distinction

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

  OpenLogicProject/OpenLogic#24 · 1 commento · Aperta il 10/2/2015

• Add provability with open formulas

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

  OpenLogicProject/OpenLogic#18 · Aperta il 10/7/2014

• Alternate Representability in Q for Recursive Functions

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

  OpenLogicProject/OpenLogic#17 · Aperta il 10/7/2014

• open-logic-defer should offer more options

  Forse di nuovo libera @rzach l’ha presa 4696 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement LaTeX

  OpenLogicProject/OpenLogic#3 · 1 assegnatario · Aperta il 26/11/2013

• Part on "Model Theory"

  Forse già presa Una pull request collegata a questa issue è aperta o già unita. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  OpenLogicProject/OpenLogic#65 · 1 commento · Aperta il 17/10/2015