OpenLogicProject

Issues em que talvez alguém já esteja trabalhando aparecem no fim. Ordenar tudo por data

• Empty para structures before and after proofs

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 4/5 3-5 dias Facilidade para iniciantes 38/100

  OpenLogicProject/fitch#13 · Aberta em 4/10/2026

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

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 4/5 3-5 dias Facilidade para iniciantes 50/100

  OpenLogicProject/OpenLogic#436 · Aberta em 25/9/2026

• Seven localized source corrections found during translation QA

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 3/5 1-2 dias Facilidade para iniciantes 68/100

  OpenLogicProject/OpenLogic#435 · 1 comentário · Aberta em 17/8/2026

• Properly support tagging

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100

  OpenLogicProject/fitch#11 · 1 comentário · Aberta em 25/7/2026

• Order-type of models of PA

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 30/100

  OpenLogicProject/OpenLogic#425 · 1 comentário · Aberta em 18/3/2026

• Improve docs

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

  OpenLogicProject/OpenLogic#390 · Aberta em 30/3/2025

• Linting/Spellchecking workflow

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 4/5 3-5 dias Facilidade para iniciantes 30/100

  OpenLogicProject/OpenLogic#389 · 1 comentário · Aberta em 30/3/2025

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

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100

  OpenLogicProject/OpenLogic#362 · 3 comentários · Aberta em 10/2/2024

• Russel's Paradox typo

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 65/100

  OpenLogicProject/OpenLogic#339 · 1 comentário · Aberta em 25/9/2023

• More precise definition of derivations in natural deduction

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 3/5 1-2 dias Facilidade para iniciantes 38/100

  OpenLogicProject/OpenLogic#300 · 4 comentários · Aberta em 14/2/2022

• Justify intuitionistic logic through the BHK interpretation could be problematic

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

  OpenLogicProject/OpenLogic#288 · Aberta em 25/11/2021

• Recursive functions and the Church-Turing thesis

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100

  OpenLogicProject/OpenLogic#232 · 4 comentários · 1 reação · Aberta em 16/4/2020

• Provide the reader with full information

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

  OpenLogicProject/OpenLogic#227 · 1 reação · Aberta em 24/1/2020

• [feature request] Grounding examples for abstract concepts

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100

  OpenLogicProject/OpenLogic#225 · Aberta em 15/1/2020

• Turing machine continuity w/ other definitions

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 2/5 1-3 horas Facilidade para iniciantes 35/100

  OpenLogicProject/OpenLogic#221 · 1 comentário · Aberta em 28/12/2019

• Convert formulas to OLP commands in set-theory

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

  OpenLogicProject/OpenLogic#205 · Aberta em 29/8/2019

• Uniformize reduction, conversion, contraction, equivalence

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 3/5 1-2 dias Facilidade para iniciantes 30/100

  OpenLogicProject/OpenLogic#190 · Aberta em 28/2/2019

• Add proof of fundamental theorem of arithmetic

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 3/5 1-2 dias Facilidade para iniciantes 45/100

  OpenLogicProject/OpenLogic#189 · 3 comentários · Aberta em 27/2/2019

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

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 3/5 1-2 dias Facilidade para iniciantes 45/100

  OpenLogicProject/OpenLogic#179 · 1 comentário · Aberta em 14/6/2018

• Make tableaux into decision procedures when possible

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

  OpenLogicProject/OpenLogic#178 · 1 comentário · Aberta em 2/4/2018

• Make tableaux signed/unsigned per tag

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

  OpenLogicProject/OpenLogic#176 · Aberta em 27/3/2018

• Syntax and Semantics for FOL material has become too technical

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

  OpenLogicProject/OpenLogic#173 · 3 comentários · Aberta em 5/3/2018

• Left-align signed formulas in tableaux

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 3/5 1-2 dias Facilidade para iniciantes 45/100

  OpenLogicProject/OpenLogic#172 · Aberta em 27/2/2018

• Completeness for modal tableaux

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

  OpenLogicProject/OpenLogic#171 · 1 comentário · Aberta em 27/2/2018

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

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100

  OpenLogicProject/OpenLogic#160 · 9 comentários · Aberta em 10/11/2017

• Make independent of memoir

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar
  LaTeX

  Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

  OpenLogicProject/OpenLogic#151 · Aberta em 21/8/2017

• PDF generation for reviewing changes in pull requests

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

  OpenLogicProject/OpenLogic#148 · 14 comentários · Aberta em 18/7/2017

• Figure out how diagrams should work

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100

  OpenLogicProject/OpenLogic#141 · 1 comentário · Aberta em 6/7/2017

• Provability in PA

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

  OpenLogicProject/OpenLogic#128 · Aberta em 3/6/2017

• Explain formulas in SOL

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 3/5 1-2 dias Facilidade para iniciantes 48/100

  OpenLogicProject/OpenLogic#127 · Aberta em 2/6/2017

• Index

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar
  LaTeX

  Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

  OpenLogicProject/OpenLogic#84 · Aberta em 4/3/2016

• Generate PDF/A output

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar
  enhancement LaTeX

  Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

  OpenLogicProject/OpenLogic#82 · Aberta em 22/1/2016

• Replace token mechanism with one based on glossaries.sty

  Talvez livre de novo @rzach assumiu há 3953 dias e não há nenhum pull request aberto. Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar
  enhancement

  OpenLogicProject/OpenLogic#78 · 1 responsável · Aberta em 10/12/2015

• Make the OLP accessible

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar
  enhancement LaTeX

  Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

  OpenLogicProject/OpenLogic#76 · 1 comentário · Aberta em 25/11/2015

• Replace tag backend by tagged package

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar
  enhancement LaTeX

  Dificuldade 3/5 1-2 dias Facilidade para iniciantes 50/100

  OpenLogicProject/OpenLogic#75 · Aberta em 25/11/2015

• Expand chapter on "Lambda Calculus"

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar
  enhancement

  Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 15/100

  OpenLogicProject/OpenLogic#66 · Aberta em 17/10/2015

• Part on "Intuitionistic Logic"

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar
  addition

  Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 15/100

  OpenLogicProject/OpenLogic#64 · Aberta em 17/10/2015

• Abstract logic satisfaction relation hardcoded

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 2/5 1-3 horas Facilidade para iniciantes 48/100

  OpenLogicProject/OpenLogic#55 · 2 comentários · Aberta em 20/9/2015

• Additions from available (non-CC) material

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar
  enhancement

  Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

  OpenLogicProject/OpenLogic#41 · 5 comentários · Aberta em 4/5/2015

• Glossary & List/Index of symbols

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar
  enhancement LaTeX

  Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

  OpenLogicProject/OpenLogic#40 · 2 comentários · Aberta em 9/4/2015

• More careful object/metalanguage distinction

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100

  OpenLogicProject/OpenLogic#24 · 1 comentário · Aberta em 10/2/2015

• Add provability with open formulas

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100

  OpenLogicProject/OpenLogic#18 · Aberta em 10/7/2014

• Alternate Representability in Q for Recursive Functions

  Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar

  Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100

  OpenLogicProject/OpenLogic#17 · Aberta em 10/7/2014

• open-logic-defer should offer more options

  Talvez livre de novo @rzach assumiu há 4697 dias e não há nenhum pull request aberto. Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar
  enhancement LaTeX

  OpenLogicProject/OpenLogic#3 · 1 responsável · Aberta em 26/11/2013

• Part on "Model Theory"

  Talvez já em andamento Um pull request vinculado a esta issue está aberto ou já foi mesclado. Aberta

  ⋯Informar um problema com esta issue

  • Algo errado?

  • Já assumida
  • Não é para iniciantes
  • Desatualizada ou inválida
  • Outra coisa…
  • Enviar Cancelar
  enhancement

  Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

  OpenLogicProject/OpenLogic#65 · 1 comentário · Aberta em 17/10/2015