v0.4.3

Installation

pip install lean-explore==0.4.3

See CHANGELOG.md for details.

What's Changed

• docs: Fix README CLI commands and Python API examples by @KellyJDavis in #15

Full Changelog: v0.4.2...v0.4.3