v2.1.3

yangky11 released this 13 Oct 22:39

· 3 commits to main since this release

b832856

What's Changed

(minor edit) Specifying get_premise_definitions premise locations by @realharryhero in #205

New Contributors

@realharryhero made their first contribution in #205

Full Changelog: v2.1.2...v2.1.3

Contributors

realharryhero

Assets 2