Sophia
Search
Search
Dark mode
Light mode
Explorer
Home
❯
crates
Folder: crates
7 items under this folder.
Oct 01, 2026
sophia-cli
Oct 01, 2026
sophia-core
Oct 01, 2026
sophia-emit
Oct 01, 2026
sophia-equiv
Oct 01, 2026
sophia-frontend-metamath
Oct 01, 2026
sophia-hash
Oct 01, 2026
sophia-store