v0.4.2

Installation

pip install lean-explore==0.4.2

See CHANGELOG.md for details.

What's Changed

• Fix GitHub 2gb file size limit by @KellyJDavis in #12
• docs: fix incorrect CLI commands, flags, and API examples by @KellyJDavis in #13
• Add CI workflow to run tests on pull requests by @KellyJDavis in #14

Full Changelog: v0.4.1...v0.4.2