OpenLogicProject/OpenLogic
An open-source, customizable intermediate logic textbook
OpenLogicProject/OpenLogic é bom para iniciantes?
Vimos poucos pull requests recentes de contribuidores externos em OpenLogicProject/OpenLogic para dizer com que frequência eles recebem merge. Agora há 1 issue para iniciantes aberta.
- Estrelas
- 1.4k
- Forks
- 289
- Issues abertas para iniciantes
- 1
- Issues indexadas
- 43
- Linguagem predominante
- TeX
- Licença
- CC-BY-4.0
- Último push no GitHub
- 14/8/2026
- Última indexação
- 20/9/2026
- Guia de contribuição
- Sem guia de contribuição
- Código de conduta
- Sem código de conduta
- Labels para iniciantes
- Nenhum label para iniciantes indexado
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
Como contribuir com OpenLogicProject/OpenLogic
- Não há guia de contribuição, então comece pelo README e por alguns pull requests com merge recente para ver como as mudanças são propostas.
- Suas contribuições serão publicadas sob a licença CC-BY-4.0 do projeto.
- Escolha a issue aberta para iniciantes abaixo e comente que quer trabalhar nela antes de começar.
Issues em que talvez alguém já esteja trabalhando aparecem no fim. Ordenar tudo por data
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 50/100
OpenLogicProject/OpenLogic#436 ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 68/100
OpenLogicProject/OpenLogic#435 · 1 comentário ·
-
Order-type of models of PAAberta
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 30/100
OpenLogicProject/OpenLogic#425 · 1 comentário ·
-
Improve docsAberta
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
OpenLogicProject/OpenLogic#390 ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 30/100
OpenLogicProject/OpenLogic#389 · 1 comentário ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100
OpenLogicProject/OpenLogic#362 · 3 comentários ·
-
Russel's Paradox typoAberta
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 65/100
OpenLogicProject/OpenLogic#339 · 1 comentário ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 38/100
OpenLogicProject/OpenLogic#300 · 4 comentários ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
OpenLogicProject/OpenLogic#288 ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100
OpenLogicProject/OpenLogic#232 · 4 comentários · 1 reação ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
OpenLogicProject/OpenLogic#227 · 1 reação ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100
OpenLogicProject/OpenLogic#225 ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 35/100
OpenLogicProject/OpenLogic#221 · 1 comentário ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
OpenLogicProject/OpenLogic#205 ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 30/100
OpenLogicProject/OpenLogic#190 ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 45/100
OpenLogicProject/OpenLogic#189 · 3 comentários ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 45/100
OpenLogicProject/OpenLogic#179 · 1 comentário ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
OpenLogicProject/OpenLogic#178 · 1 comentário ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
OpenLogicProject/OpenLogic#176 ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
OpenLogicProject/OpenLogic#173 · 3 comentários ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 45/100
OpenLogicProject/OpenLogic#172 ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
OpenLogicProject/OpenLogic#171 · 1 comentário ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100
OpenLogicProject/OpenLogic#160 · 9 comentários ·
-
Make independent of memoirAbertaLaTeX
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
OpenLogicProject/OpenLogic#151 ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
OpenLogicProject/OpenLogic#148 · 14 comentários ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100
OpenLogicProject/OpenLogic#141 · 1 comentário ·
-
Provability in PAAberta
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
OpenLogicProject/OpenLogic#128 ·
-
Explain formulas in SOLAberta
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 48/100
OpenLogicProject/OpenLogic#127 ·
-
IndexAbertaLaTeX
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
-
Generate PDF/A outputAbertaenhancement LaTeX
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
-
Replace token mechanism with one based on glossaries.styTalvez livre de novo @rzach assumiu há 3953 dias e não há nenhum pull request aberto. Abertaenhancement
OpenLogicProject/OpenLogic#78 · 1 responsável ·
-
Make the OLP accessibleAbertaenhancement LaTeX
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
OpenLogicProject/OpenLogic#76 · 1 comentário ·
-
enhancement LaTeX
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 50/100
-
enhancement
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 15/100
-
addition
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 15/100
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 48/100
OpenLogicProject/OpenLogic#55 · 2 comentários ·
-
enhancement
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
OpenLogicProject/OpenLogic#41 · 5 comentários ·
-
enhancement LaTeX
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
OpenLogicProject/OpenLogic#40 · 2 comentários ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100
OpenLogicProject/OpenLogic#24 · 1 comentário ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100
-
open-logic-defer should offer more optionsTalvez livre de novo @rzach assumiu há 4697 dias e não há nenhum pull request aberto. Abertaenhancement LaTeX
OpenLogicProject/OpenLogic#3 · 1 responsável ·
-
Part on "Model Theory"Talvez já em andamento Um pull request vinculado a esta issue está aberto ou já foi mesclado. Abertaenhancement
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
OpenLogicProject/OpenLogic#65 · 1 comentário ·