Skip to content

Pull requests: leanprover/theorem_proving_in_lean

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Denote TPiL as being for Lean 3
#121 by mhuisi was merged Oct 21, 2024 Loading…
Update to leanprover-community/mathlib@feb165c
#119 by YaelDillies was merged Apr 25, 2023 Loading…
add not
#116 by cuppajoeman was closed Oct 29, 2023 Loading…
Correct spelling depedencies -> dependencies
#110 by hmonroe was closed Apr 25, 2023 Loading…
Fix backtick formatting typo
#109 by mitchellvitez was merged Jan 22, 2021 Loading…
Don't indent for sections and namespaces.
#107 by Julian was closed Dec 23, 2020 Loading…
Small clarification on multiple renamings
#106 by mitchellvitez was merged Dec 23, 2020 Loading…
Say in README how to install mathlib for tests
#105 by samestep was closed Dec 23, 2020 Loading…
fix(dependent_type_theory.rst): typo
#104 by agraboso was merged Dec 23, 2020 Loading…
fix(induction_and_recursion): typo
#103 by pechersky was merged Aug 6, 2020 Loading…
fix(dependent type theory): typo
#101 by gihanmarasingha was merged May 18, 2020 Loading…
quantifiers_and_equality.rst: typos
#100 by ben-dyer was merged May 18, 2020 Loading…
interacting_with_lean.rst: typos
#99 by ben-dyer was merged May 18, 2020 Loading…
tactics.rst: typo
#98 by ben-dyer was merged May 18, 2020 Loading…
fix (induction and recursion): typo
#97 by van-kalsing was merged Jan 26, 2020 Loading…
tactics: typo
#93 by dharmatech was merged Dec 12, 2019 Loading…
tactics.rst: typo
#92 by dharmatech was merged Nov 13, 2019 Loading…
tactics.rst: fix example
#91 by dharmatech was merged Nov 13, 2019 Loading…
tactics.rst: typo
#90 by dharmatech was merged Nov 13, 2019 Loading…
tactics.rst: typo
#89 by dharmatech was merged Nov 13, 2019 Loading…
tactics.rst: typo
#88 by dharmatech was merged Nov 13, 2019 Loading…
quantifiers_and_equality.rst: typo
#87 by dharmatech was merged Nov 13, 2019 Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.