·
260 commits
to master
since this release
Fix tool path autodetection for Mathematica 14.1+
Fix error when proving the same lemma multiple times using the CLI
Fix tool path autodetection for Mathematica 14.1+
Fix error when proving the same lemma multiple times using the CLI