v0.0.30

RPC method performance improvements (#46)

* feat: experimental RPC request cancellation

* chore: ignore nix stuff

* chore: trace

* feat: memoize

* chore: adaptations for nightly-2024-02-08

* chore: bump to 2024-02-24

* fix: demo

* chore: bump to v4.7.0-rc1

---------

Co-authored-by: Scott Morrison <[email protected]>

v0.0.29

Merge pull request #47 from leanprover-community/bump-to-v4.6.0

chore: bump toolchain to v4.6.0

v0.0.29-pre

Merge remote-tracking branch 'origin/main' into bump/nightly-2024-02-08

v0.0.28

Merge pull request #44 from leanprover-community/buildArchive

chore: use buildArchive? in lakefile for compatibility

v0.0.28-pre

chore: adaptations for nightly-2024-02-08

v0.0.27

Merge pull request #41 from leanprover-community/lean-pr-testing-3226

feat: adaptations for leanprover/lean4#3226

v0.0.27-pre2

Merge branch 'lean-pr-testing-3159' into lean-pr-testing-3226

v0.0.27-pre

Merge remote-tracking branch 'origin/main' into lean-pr-testing-3159

v0.0.26

Merge pull request #40 from tydeu/lakefile-touchups

chore: lakefile touchups

v0.0.26-pre2

chore: use leanprover/lean4#3226