Skip to content

Pull requests: leanprover/theorem_proving_in_lean4

New pull request New
19 Open 85 Closed
19 Open 85 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update Example Code for Feature Change in 'variable' visibility
#154 opened Apr 22, 2025 by yanggao04 Loading…
Rust note, typo fix
#144 opened Dec 23, 2024 by mhartl Loading…
fix: missing comma in ch9.Objects
#143 opened Dec 12, 2024 by dmyTRUEk Loading…
Fix broken code example (#138)
#142 opened Dec 5, 2024 by vlad902 Loading…
Fix broken link: std4 -> batteries
#141 opened Dec 1, 2024 by vlad902 Loading…
Deletes repeated section Local Recursive Definitions in induction_and_recursion.md
#135 opened Oct 31, 2024 by javierlcontreras Loading…
Use eval! to evaluate functions that use sorry.
#133 opened Oct 23, 2024 by lcrh Loading…
1
add: Table of Contents to each chapter (2-12) using mdbook-toc
#128 opened Sep 9, 2024 by thelissimus Loading…
small but unpleasant typo
#122 opened Jul 14, 2024 by stepanholub Loading…
add pdf version and build instructions
#119 opened Jun 13, 2024 by ocramz Loading…
fix: clarify that Lean's core library uses classical logic
#117 opened May 27, 2024 by avigad Loading…
Suggestions for clarity
#114 opened May 6, 2024 by turibe Loading…
6
Fix: ambiguity with newly introduced divisibility symbol
#108 opened Mar 10, 2024 by MatteoGaetzner Loading…
1
fix: Update examples to work with latest Lean nightly
#107 opened Mar 1, 2024 by david-christiansen Loading…
5
Remove duplicated section.
#94 opened Jan 10, 2024 by DeVilhena-Paulo Loading…
Fix typo in tactics.md
#84 opened Nov 16, 2023 by deepimpactmir Loading…
1
Fix creation of Trans instance in calculational proof section
#83 opened Oct 25, 2023 by Shiney Loading…
Update type_classes.md
#77 opened Oct 1, 2023 by Erotemic Loading…
Update quantifiers_and_equality.md
#76 opened Sep 15, 2023 by JiechengZhao Loading…
ProTip! Add no:assignee to see everything that’s not assigned.