halmos 0.2.2
v0.2.2

on Python PyPI

latest releases: 0.3.3, 0.3.2, 0.3.1...

14 months ago

What's Changed

feat: display spinning progress by @daejunpark in #417
feat: embrace uv by @karmacoma-eth in #422

New Contributors

@mdqst made their first contribution in #424

Full Changelog: v0.2.1...v0.2.2

Check out latest releases or
releases around halmos 0.2.2

Don't miss a new halmos release

NewReleases is sending notifications on new releases.

Get notifications