オーナー

OpenLogicProject

索引済みのリポジトリ 2 件 · GitHub で見る

OpenLogic
An open-source, customizable intermediate logic textbook

TeX · スター 1365 個
fitch
Peter Selinger's LaTeX macros for Fitch style natural deduction

TeX · スター 20 個

初心者向けすべて

オープンすべて

Seven localized source corrections found during translation QA オープン

難易度 3/5 1〜2日初心者へのやさしさ 68/100

OpenLogicProject/OpenLogic#435 · コメント 1 件 · 2026年8月17日に作成
Properly support tagging オープン

難易度 5/5 1週間以上初心者へのやさしさ 35/100

OpenLogicProject/fitch#11 · コメント 1 件 · 2026年7月25日に作成
Order-type of models of PA オープン

難易度 5/5 1週間以上初心者へのやさしさ 30/100

OpenLogicProject/OpenLogic#425 · コメント 1 件 · 2026年3月18日に作成
Improve docs オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

OpenLogicProject/OpenLogic#390 · 2025年3月30日に作成
Linting/Spellchecking workflow オープン

難易度 4/5 3〜5日初心者へのやさしさ 30/100

OpenLogicProject/OpenLogic#389 · コメント 1 件 · 2025年3月30日に作成
Can I contribute proofs to theorems whose proof left for exercise? オープン

難易度 5/5 1週間以上初心者へのやさしさ 20/100

OpenLogicProject/OpenLogic#362 · コメント 3 件 · 2024年2月10日に作成
Make printing of line numbers configurable オープン

難易度 4/5 3〜5日初心者へのやさしさ 25/100

OpenLogicProject/fitch#8 · コメント 1 件 · 2023年10月15日に作成
Russel's Paradox typo オープン

難易度 1/5 1時間未満初心者へのやさしさ 65/100

OpenLogicProject/OpenLogic#339 · コメント 1 件 · 2023年9月25日に作成
hook for local definitions オープン

難易度 3/5 1〜2日初心者へのやさしさ 35/100

OpenLogicProject/fitch#3 · コメント 1 件 · 2023年8月19日に作成
More precise definition of derivations in natural deduction オープン

難易度 3/5 1〜2日初心者へのやさしさ 38/100

OpenLogicProject/OpenLogic#300 · コメント 4 件 · 2022年2月14日に作成
Justify intuitionistic logic through the BHK interpretation could be problematic オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

OpenLogicProject/OpenLogic#288 · 2021年11月25日に作成
Recursive functions and the Church-Turing thesis オープン

難易度 4/5 3〜5日初心者へのやさしさ 25/100

OpenLogicProject/OpenLogic#232 · コメント 4 件 · リアクション 1 件 · 2020年4月16日に作成
Provide the reader with full information オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

OpenLogicProject/OpenLogic#227 · リアクション 1 件 · 2020年1月24日に作成
[feature request] Grounding examples for abstract concepts オープン

難易度 3/5 1〜2日初心者へのやさしさ 35/100

OpenLogicProject/OpenLogic#225 · 2020年1月15日に作成
Turing machine continuity w/ other definitions オープン

難易度 2/5 1〜3時間初心者へのやさしさ 35/100

OpenLogicProject/OpenLogic#221 · コメント 1 件 · 2019年12月28日に作成
Convert formulas to OLP commands in set-theory オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

OpenLogicProject/OpenLogic#205 · 2019年8月29日に作成
Uniformize reduction, conversion, contraction, equivalence オープン

難易度 3/5 1〜2日初心者へのやさしさ 30/100

OpenLogicProject/OpenLogic#190 · 2019年2月28日に作成
Add proof of fundamental theorem of arithmetic オープン

難易度 3/5 1〜2日初心者へのやさしさ 45/100

OpenLogicProject/OpenLogic#189 · コメント 3 件 · 2019年2月27日に作成
Proof of Consistency Expansion (First Order Logic - Completeness) オープン

難易度 3/5 1〜2日初心者へのやさしさ 45/100

OpenLogicProject/OpenLogic#179 · コメント 1 件 · 2018年6月14日に作成
Make tableaux into decision procedures when possible オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

OpenLogicProject/OpenLogic#178 · コメント 1 件 · 2018年4月2日に作成
Make tableaux signed/unsigned per tag オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

OpenLogicProject/OpenLogic#176 · 2018年3月27日に作成
Syntax and Semantics for FOL material has become too technical オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

OpenLogicProject/OpenLogic#173 · コメント 3 件 · 2018年3月5日に作成
Left-align signed formulas in tableaux オープン

難易度 3/5 1〜2日初心者へのやさしさ 45/100

OpenLogicProject/OpenLogic#172 · 2018年2月27日に作成
Completeness for modal tableaux オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

OpenLogicProject/OpenLogic#171 · コメント 1 件 · 2018年2月27日に作成
On verifying that primitive-recursive functions are provably total in PA オープン

難易度 4/5 3〜5日初心者へのやさしさ 25/100

OpenLogicProject/OpenLogic#160 · コメント 9 件 · 2017年11月10日に作成
Make independent of memoir オープン

LaTeX

難易度 4/5 3〜5日初心者へのやさしさ 35/100

OpenLogicProject/OpenLogic#151 · 2017年8月21日に作成
PDF generation for reviewing changes in pull requests オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

OpenLogicProject/OpenLogic#148 · コメント 14 件 · 2017年7月18日に作成
Figure out how diagrams should work オープン

難易度 5/5 1週間以上初心者へのやさしさ 20/100

OpenLogicProject/OpenLogic#141 · コメント 1 件 · 2017年7月6日に作成
Provability in PA オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

OpenLogicProject/OpenLogic#128 · 2017年6月3日に作成
Explain formulas in SOL オープン

難易度 3/5 1〜2日初心者へのやさしさ 48/100

OpenLogicProject/OpenLogic#127 · 2017年6月2日に作成
Index オープン

LaTeX

難易度 4/5 3〜5日初心者へのやさしさ 35/100

OpenLogicProject/OpenLogic#84 · 2016年3月4日に作成
Generate PDF/A output オープン

enhancement LaTeX

難易度 4/5 3〜5日初心者へのやさしさ 35/100

OpenLogicProject/OpenLogic#82 · 2016年1月22日に作成
Replace token mechanism with one based on glossaries.sty オープン

enhancement

OpenLogicProject/OpenLogic#78 · 担当者 1 名 · 2015年12月10日に作成
Make the OLP accessible オープン

enhancement LaTeX

難易度 5/5 1週間以上初心者へのやさしさ 25/100

OpenLogicProject/OpenLogic#76 · コメント 1 件 · 2015年11月25日に作成
Replace tag backend by tagged package オープン

enhancement LaTeX

難易度 3/5 1〜2日初心者へのやさしさ 50/100

OpenLogicProject/OpenLogic#75 · 2015年11月25日に作成
Expand chapter on "Lambda Calculus" オープン

enhancement

難易度 5/5 1週間以上初心者へのやさしさ 15/100

OpenLogicProject/OpenLogic#66 · 2015年10月17日に作成
Part on "Model Theory" オープン

enhancement

難易度 5/5 1週間以上初心者へのやさしさ 25/100

OpenLogicProject/OpenLogic#65 · コメント 1 件 · 2015年10月17日に作成
Part on "Intuitionistic Logic" オープン

addition

難易度 5/5 1週間以上初心者へのやさしさ 15/100

OpenLogicProject/OpenLogic#64 · 2015年10月17日に作成
Abstract logic satisfaction relation hardcoded オープン

難易度 2/5 1〜3時間初心者へのやさしさ 48/100

OpenLogicProject/OpenLogic#55 · コメント 2 件 · 2015年9月20日に作成
Additions from available (non-CC) material オープン

enhancement

難易度 4/5 3〜5日初心者へのやさしさ 35/100

OpenLogicProject/OpenLogic#41 · コメント 5 件 · 2015年5月4日に作成
Glossary & List/Index of symbols オープン

enhancement LaTeX

難易度 5/5 1週間以上初心者へのやさしさ 25/100

OpenLogicProject/OpenLogic#40 · コメント 2 件 · 2015年4月9日に作成
More careful object/metalanguage distinction オープン

難易度 5/5 1週間以上初心者へのやさしさ 20/100

OpenLogicProject/OpenLogic#24 · コメント 1 件 · 2015年2月10日に作成
Add provability with open formulas オープン

難易度 3/5 1〜2日初心者へのやさしさ 35/100

OpenLogicProject/OpenLogic#18 · 2014年7月10日に作成
Alternate Representability in Q for Recursive Functions オープン

難易度 5/5 1週間以上初心者へのやさしさ 20/100

OpenLogicProject/OpenLogic#17 · 2014年7月10日に作成
open-logic-defer should offer more options オープン

enhancement LaTeX

OpenLogicProject/OpenLogic#3 · 担当者 1 名 · 2013年11月26日に作成

OpenLogicProject

新しい issue をメールで受け取る