-
Notifications
You must be signed in to change notification settings - Fork 85
Pull requests: leanprover/theorem_proving_in_lean4
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
add: Table of Contents to each chapter (2-12) using
mdbook-toc
#128
opened Sep 9, 2024 by
thelissimus
Loading…
fix: clarify that Lean's core library uses classical logic
#117
opened May 27, 2024 by
avigad
Loading…
Fix: ambiguity with newly introduced divisibility symbol
#108
opened Mar 10, 2024 by
MatteoGaetzner
Loading…
fix: Update examples to work with latest Lean nightly
#107
opened Mar 1, 2024 by
david-christiansen
Loading…
Fix creation of Trans instance in calculational proof section
#83
opened Oct 25, 2023 by
Shiney
Loading…
ProTip!
Updated in the last three days: updated:>2024-09-22.