v0.9.0 - #33

Merged

augustepoiroux merged 20 commits into

mainfrom

Oct 13, 2025

Commits on Jul 24, 2025

Add support for REPL v1.2.0-dev
augustepoiroux
committed
d519979
Incorporate declarations option and pydantic validation
augustepoiroux
committed
5b5ccfb
Increase stack size
augustepoiroux
committed
1f86dcb
Fix `No module named resource` issue on Windows
augustepoiroux
committed
e74e4b7
Reverse stack size related code
augustepoiroux
committed
d1e09cf
Add support for Lean v4.22.0-rc4
augustepoiroux
committed
705a132

Commits on Jul 28, 2025

Add `set_options` support + add high-level parallel elaboration option
augustepoiroux
committed
ac99520
Fix test
augustepoiroux
committed
11c68a5

Commits on Aug 14, 2025

Add support for Lean v4.22.0
augustepoiroux
committed
e48dd83

Commits on Aug 15, 2025

Add support for Lean v4.23.0-rc1 and v4.23.0-rc2
augustepoiroux
committed
9aaf131

Commits on Sep 3, 2025

Merge commit '5a803fea6931d9d0b0913999d24f1bb8f3ac89ff' into nightly
augustepoiroux
committed
cb6c017

Commits on Sep 4, 2025

Merge branch 'main' into nightly
augustepoiroux
committed
0c27f36

Commits on Sep 15, 2025

Add support for Lean v4.23.0 and v4.24.0-rc1
augustepoiroux
committed
d04bb28

Commits on Sep 26, 2025

Update REPL
augustepoiroux
committed
865f00d

Commits on Oct 5, 2025

Add py.typed
augustepoiroux
committed
3e259c6
Add example script to extract mathlib declarations
augustepoiroux
committed
7f08843
Update documentation with new features
augustepoiroux
committed
9c26074

Commits on Oct 12, 2025

Refine documentation content
augustepoiroux
committed
53cd70d

Commits on Oct 13, 2025

Update test
augustepoiroux
committed
6545ed3
Merge branch 'main' into nightly
augustepoiroux
authored
e19d02d