Repository navigation
Datatabase 馃攱
- Categories of graphs by @ScriptRaccoon in #387
- Fix mathematical mistakes (globally) by @ScriptRaccoon in #389
- Add two large groupoids by @ScriptRaccoon in #391
- Properties of regular-subobject-trivial categories by @ScriptRaccoon in #390
- Decide the last remaining properties of the category of commutative monoids by @ScriptRaccoon in #398
Refactor 馃Ч
- Remove dates from structure history by @ScriptRaccoon in #395
- Various refactorings by @ScriptRaccoon in #399
Features 馃И
- Search keywords by @ScriptRaccoon in #400
- Add GitHub Copilot skills by @ScriptRaccoon in #388
- Add Claude skills by @ScriptRaccoon in #393
- Claude Code integration by @ScriptRaccoon in #394
Infrastructure 馃捇
- Update packages by @ScriptRaccoon in #386
- Migrate to SvelteKit 3 by @ScriptRaccoon in #397