v0.5.11

Full Changelog: v0.5.10...v0.5.11

v0.5.10

Full Changelog: v0.5.9...v0.5.10

v0.5.7

What's Changed

• docs: sync related project links by @jonaprieto in #19
• chore(release): set version 0.5.7 by @jonaprieto in #20

Full Changelog: v0.5.6...v0.5.7

v0.5.6

What's Changed

• build: adopt Lean v4.33.0 by @jonaprieto in #17
• build: adopt precommit-lean v0.1.6 by @jonaprieto in #18

Full Changelog: v0.5.5...v0.5.6

v0.5.1

What's Changed

• build: pin released calculator deps by @jonaprieto in #6
• docs: remove readme version by @jonaprieto in #7
• build: refresh terminal and repl api by @jonaprieto in #8
• chore(release): set version 0.5.1 by @jonaprieto in #9

Full Changelog: v0.5.0...v0.5.1

v0.5.0

What's Changed

• chore: adopt precommit-lean checks by @jonaprieto in #2
• feat: merge concurrent calculator jobs by @jonaprieto in #4
• docs: refresh concise readme by @jonaprieto in #5

Full Changelog: https://github.com/jonaprieto/lean-calc-chat/commits/v0.5.0