Release Notes
https://a16zcrypto.com/posts/article/halmos-v0-3-0-release-highlights/
New Contributors
- @Jayakumar2812 made their first contribution in #471
- @copilot-swe-agent made their first contribution in #533
Full Changelog: v0.2.6...v0.3.0
halmos
0.3.0
v0.3.0
on Python PyPI
latest releases:
0.3.3, 0.3.2, 0.3.1...
9 months ago