leanprover/logic_and_proof_lean3 issues and pull requests

#58 - Typo: 1.2 Symbolic Logic, missing "Aristotle"

Issue - State: open - Opened by jdonland almost 2 years ago

#57 - Fix example in introduction.rst

Pull Request - State: open - Opened by joelmccracken almost 2 years ago

#56 - Removed unnecessary parenthesee

Pull Request - State: open - Opened by aleksandrskoselevs about 2 years ago

#55 - Typo

Pull Request - State: closed - Opened by GregorKikelj over 2 years ago - 1 comment

#54 - fix build issue #50

Pull Request - State: open - Opened by ratmice over 2 years ago - 1 comment

#53 - Fix typo: A is still declared, it is h that is not needed

Pull Request - State: open - Opened by dbp almost 3 years ago

#52 - Apply quantifier to term with free variable.

Pull Request - State: closed - Opened by martincmartin about 3 years ago

#51 - fix typo in introduction

Pull Request - State: open - Opened by KevinZonda about 3 years ago

#50 - make fails

Issue - State: open - Opened by FranklinChen over 3 years ago - 1 comment

#49 - semantics of first order logic: typo

Pull Request - State: closed - Opened by JoseBalado over 3 years ago

#48 - Update propositional_logic_in_lean.rst

Pull Request - State: closed - Opened by siefkenj over 3 years ago - 1 comment

#47 - Update sets_in_lean.rst

Pull Request - State: closed - Opened by arademaker over 4 years ago - 1 comment

#46 - Update sets_in_lean.rst

Pull Request - State: closed - Opened by arademaker over 4 years ago - 1 comment

#45 - Update sets_in_lean.rst

Pull Request - State: closed - Opened by arademaker over 4 years ago - 1 comment

#44 - Typo (3.3 Forward and Backward Reasoning)

Issue - State: open - Opened by letrec almost 5 years ago

#43 - Missing proof in Section 7.3

Issue - State: closed - Opened by oddg almost 5 years ago - 1 comment

#42 - Close HTML img tags

Pull Request - State: open - Opened by oddg almost 5 years ago

#41 - two typos chapter 16

Pull Request - State: closed - Opened by arademaker about 5 years ago - 1 comment

#40 - Typo

Issue - State: closed - Opened by kevinsullivan about 5 years ago

#39 - relations: last proof sec 13.1

Issue - State: closed - Opened by arademaker over 5 years ago - 1 comment

#38 - fixing the formula

Pull Request - State: closed - Opened by arademaker over 5 years ago - 1 comment

#37 - 13.1 order relations

Issue - State: closed - Opened by arademaker over 5 years ago - 1 comment

#36 - typo

Pull Request - State: closed - Opened by arademaker over 5 years ago - 1 comment

#35 - small typo

Pull Request - State: closed - Opened by arademaker over 5 years ago - 1 comment

#34 - missing parenthesis

Pull Request - State: closed - Opened by arademaker over 5 years ago - 1 comment

#33 - typo

Pull Request - State: closed - Opened by arademaker over 5 years ago - 1 comment

#32 - sets in chapter 12

Issue - State: closed - Opened by arademaker over 5 years ago - 4 comments

#31 - fix the import statement

Pull Request - State: closed - Opened by arademaker over 5 years ago

#30 - building the epub

Issue - State: open - Opened by arademaker over 5 years ago - 3 comments

#29 - import data.nat

Pull Request - State: closed - Opened by arademaker over 5 years ago

#28 - ND proof section 8.5 is incomplete

Issue - State: closed - Opened by arademaker over 5 years ago

#27 - that that

Pull Request - State: closed - Opened by arademaker over 5 years ago

#26 - how to add the symbols for add.intro in Emacs

Pull Request - State: closed - Opened by arademaker over 5 years ago - 1 comment

#25 - Exercises cap 5

Issue - State: closed - Opened by arademaker over 5 years ago - 1 comment

#24 - Derive logic_and_proof_quickref.pdf from inference rules summary.

Pull Request - State: closed - Opened by ratmice over 5 years ago - 1 comment

#23 - Fix paren typo

Pull Request - State: closed - Opened by domfarolino almost 6 years ago

#22 - Chapter 19 and 20 fixes

Pull Request - State: closed - Opened by lylek almost 6 years ago

#21 - Chapter 19 and 20 fixes

Pull Request - State: closed - Opened by lylek almost 6 years ago

#20 - Chapter 19 fixes

Pull Request - State: closed - Opened by lylek about 6 years ago - 1 comment

#19 - some improvements

Pull Request - State: closed - Opened by williamdemeo about 6 years ago - 5 comments

#18 - fix ch 11

Pull Request - State: closed - Opened by arademaker about 6 years ago

#17 - question Ex 10 chapter 9

Issue - State: closed - Opened by arademaker about 6 years ago - 2 comments

#16 - doc (logic_and_proof) add brief section on equiv relations

Pull Request - State: closed - Opened by williamdemeo about 6 years ago

#15 - fixing typos

Pull Request - State: closed - Opened by arademaker about 6 years ago - 1 comment

#14 - updating old pull request that was never merged

Pull Request - State: closed - Opened by williamdemeo about 6 years ago - 1 comment

#13 - small fix

Pull Request - State: closed - Opened by odanoburu about 6 years ago - 1 comment

#12 - (fix) grammar, typos, Lean 2 remnants

Pull Request - State: closed - Opened by williamdemeo about 6 years ago

#11 - iff abbreviation names

Pull Request - State: closed - Opened by odanoburu over 6 years ago

#10 - fix(propositional_logic_in_lean.rst): fill in missing proof

Pull Request - State: closed - Opened by williamdemeo over 6 years ago - 1 comment

#9 - Correct grammar problem

Pull Request - State: closed - Opened by tobiasgrosser over 6 years ago - 1 comment

#8 - Correct grammar issue

Pull Request - State: closed - Opened by tobiasgrosser over 6 years ago

#7 - fix(logic_and_proof): add dependency information in the README

Pull Request - State: closed - Opened by arademaker over 6 years ago - 1 comment

#6 - Three fixes to Logic & Proof

Pull Request - State: closed - Opened by lylek over 6 years ago - 1 comment

#5 - Minor typographical errors in Chapter 4: Propositional Logic in Lean

Issue - State: closed - Opened by Antony74 almost 7 years ago - 2 comments

#4 - comment out dots world example

Pull Request - State: closed - Opened by avigad over 8 years ago

#3 - fix(*.org): updates and minor fixes

Pull Request - State: closed - Opened by avigad about 9 years ago

#2 - fix(elisp/org-pdf-export.el): update smart-quote following updates in org-8.3.2

Pull Request - State: closed - Opened by soonhokong about 9 years ago - 1 comment

#1 - enable LaTeX packages

Issue - State: closed - Opened by soonhokong over 9 years ago - 3 comments
Labels: enhancement

GitHub / leanprover/logic_and_proof_lean3 issues and pull requests