v0.20.0

oOo0oOo released this 03 Feb 22:50

· 243 commits to main since this release

c67ff31

What's Changed

Use REPL for lean_multi_attempt by @alok & @oOo0oOo in #120
Issue/117 by @dcolazin in #119

New Contributors

@dcolazin made their first contribution in #119

Full Changelog: v0.19.0...v0.20.0

Contributors

oOo0oOo, alok, and dcolazin

Assets 2