Skip to content

Version 0.2.3

Latest
Latest

Choose a tag to compare

View all tags
@offendo offendo released this 29 Jan 01:08
· 9 commits to main since this release
0.2.3
cd8cc54
This commit was signed with the committer’s verified signature.
offendo
GPG key ID: 4FCC06AAD8B08A34
Verified
Learn about vigilant mode.

Changed verify_theorems to flush redis DB by default. Also add option to disable tqdm progress bar.

Assets 2
Loading