v1.5.0

What's Changed

• Allow theorems to have unique ids by @albertqjiang in #123
• Updates by @yangky11 in #125
• fix lean 4 ast by @yangky11 in #126
• fix Lean 4 ASTs by @yangky11 in #127
• Remove a bug where the path gets inappropriately used for string removal by @albertqjiang in #128

New Contributors

• @albertqjiang made their first contribution in #123

Full Changelog: v1.4.5...v1.5.0