This release contains 694 notes generating 948 cards.
This is the initial release of all Anki cards I created up to November 2023. They have not yet been polished or undergone any sort of editing for public use.
You can find instructions on how to import those cards into Anki in the README.