v0.4.1

github-actions released this 28 Nov 16:53

· 11 commits to main since this release

2bf7966

Installation

pip install lean-explore==0.4.1

See CHANGELOG.md for details.

fix: support version detection in both development and installed envi… by @KellyJDavis in #11

Full Changelog: v0.4.0...v0.4.1

KellyJDavis

Assets 9