v0.2.0

What's Changed

• chore: add CODEOWNERS and a Maintainers section by @futrime in #4
• refactor!: pass the env to Agent.run, not spawn/fork by @futrime in #5
• fix: require humanize1 >=0.2.0,<0.3.0 by @futrime in #6
• chore: release 0.2.0 for hmz's Agent.run(prompt, session=, env=) by @futrime in #7

Full Changelog: v0.1.2...v0.2.0

v0.1.2

What's Changed

• fix: require humanize1 >=0.1.1 and release 0.1.2 by @futrime in #3

Full Changelog: v0.1.1...v0.1.2

v0.1.1

What's Changed

• chore: release 0.1.1 for hmz's -p budget.* and .hmz by @futrime in #2

New Contributors

• @futrime made their first contribution in #2

Full Changelog: v0.1.0...v0.1.1

v0.1.0

Full Changelog: https://github.com/humanfia/flow-recursive-lean-prover/commits/v0.1.0