v4.31.0-rc1

chore: bump toolchain to v4.31.0-rc1 (#609)

Co-authored-by: Kim Morrison <477956+kim-em@users.noreply.github.com>
Co-authored-by: mathlib4-bot <github-mathlib4-bot@leanprover.zulipchat.com>
Co-authored-by: mathlib-nightly-testing[bot] <258991302+mathlib-nightly-testing[bot]@users.noreply.github.com>
Co-authored-by: leanprover-community-mathlib4-bot <129911861+leanprover-community-mathlib4-bot@users.noreply.github.com>
Co-authored-by: Kim Morrison <kim@tqft.net>
Co-authored-by: leanprover-community-mathlib4-bot <leanprover-community-mathlib4-bot@users.noreply.github.com>
Co-authored-by: Chris Henson <chrishenson.net@gmail.com>
Co-authored-by: Chris Henson <46805207+chenson2018@users.noreply.github.com>
Co-authored-by: Ching-Tsun Chou <chingtsun.chou@gmail.com>
Co-authored-by: Alexandre Rademaker <arademaker@gmail.com>
Co-authored-by: mathlib-nightly-testing[bot] <mathlib-nightly-testing[bot]@users.noreply.github.com>
Co-authored-by: Fabrizio Montesi <famontesi@gmail.com>

v4.30.0

chore: bump toolchain to v4.30.0 (#601)

v4.30.0-rc2

chore: bump toolchain to v4.30.0-rc2 (#496)

Co-authored-by: Chris Henson <chrishenson.net@gmail.com>

v4.30.0-rc1

feat(Logics/Propositional): definitions (#89)

This PR defines propositions for propositional logic, including notation
for the logical connectives. A `Theory` is a set of `Proposition`. Also
defines minimal, intuitionistic and classical theories, and extensions
of maps `Atom → Atom'` to maps `Proposition Atom → Proposition Atom'`
and `Theory Atom → Theory Atom'`.

---------

Co-authored-by: twwar <tom.waring@unimelb.edu.au>

v4.29.0

chore: bump toolchain to v4.29.0 (#463)

Co-authored-by: Chris Henson <chrishenson.net@gmail.com>

v4.29.0-rc8

chore: bump toolchain to v4.29.0-rc8 (#457)

v4.29.0-rc7

chore: bump toolchain to v4.29.0-rc7 (#452)

v4.29.0-rc3

chore: bump toolchain to v4.29.0-rc3 (#382)

v4.29.0-rc2

chore: bump toolchain to v4.29.0-rc2 (#368)

Co-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>

v4.29.0-rc1

chore(CombinatoryLogic): miscellaneous grind golfing (#345)

Low priority

---------

Co-authored-by: twwar <tom.waring@unimelb.edu.au>
Co-authored-by: Chris Henson <chrishenson.net@gmail.com>