chore: Bump to v4.26.0 (#836)

* feat: Basics of bump & build pass 1

* feat: Build pass 2

* feat: build pass 3

* refactor: Pass

* feat: Pass

* refactor: Pass

* feat: Partial next fix

* refactor: Build

* refactor: Lint

* refactor: Lint

* feat: Fix make_tag

chore: Bump v4.25.0 (#814)

* feat: Update verisons

* feat: Fix build, pass 1

* fix: Build pass 2

* feat: fix build pass 3

* feat: Fix build

* refactor: style Lint

* refactor: Lint

* refactor: Lint

* fix: Build

refactor: Fix typos in linters & speed up (#779)

Co-authored-by: damiano <[email protected]>

chore: Bump to v4.23.0 (#741)

* feat: Bump

* refactor: Lint

feat: Bump v4.22.0 (#710)

* Step 1: Update toml

* Step 2: Automatic update of manifest and toolchain

* Step 3: Update readme

* Step 4.1: Fix build

* Step 4.2: Fix build

* Step 4.3: Fix build - completed.

* Step 4.4: Fix warnings

* Step 5: Linting

* Step 5.1: More linting

* feat: Fix build

chore: Bump to v4.21.0 (#629)

* chore: update toolchain

* chore: Error free build

* chore: Fix deprecated

Updated simp only lists in wave equation and electromagnetism modules to use new PiLp and WithLp API, improving clarity and correctness. Fixed logic in CKMMatrix row lemmas by replacing lt_iff_not_le with lt_iff_not_ge for proper negation handling.

* refactor: Lint

* refactor: Lint

feat: Update (#593)

chore: Bump v4.20.0 (#591)

* chore: update dependencies

* chore: Update readme

* chore: Fix build 1

* chore: fix build 2

* chore: fix build 3

* chore: fix build 4

* chore: Fix build

* refactor: Lint

* refactor: Transitive imports

chore: Bump to v4.20.0-rc5 (#566)

* chore: Bump to v4.20.0-rc5

* chore: Remove docs files

* refactor: lint

---------

Co-authored-by: jstoobysmith <[email protected]>

chore: Bump to v4.19.0 (#539)

* feat: bump, basics

* refactor: Fix builds part 1

* chore: build fix part 2

* chore: Build fix part 3

* chore: Build fix part 4

* chore: Build fix part 5 (final)

* refactor: Lint