Sophia https://mathstruct.org/Sophia Last 10 notes on Sophia Quartz -- quartz.jzhao.xyz main https://mathstruct.org/Sophia/crates/sophia-cli/src/main https://mathstruct.org/Sophia/crates/sophia-cli/src/main Thu, 01 Oct 2026 17:19:49 GMT effects https://mathstruct.org/Sophia/crates/sophia-core/src/effects https://mathstruct.org/Sophia/crates/sophia-core/src/effects Thu, 01 Oct 2026 17:19:49 GMT elaborate https://mathstruct.org/Sophia/crates/sophia-core/src/elaborate https://mathstruct.org/Sophia/crates/sophia-core/src/elaborate Thu, 01 Oct 2026 17:19:49 GMT sophia_core https://mathstruct.org/Sophia/crates/sophia-core/src/sophia_core https://mathstruct.org/Sophia/crates/sophia-core/src/sophia_core Thu, 01 Oct 2026 17:19:49 GMT sophia_emit https://mathstruct.org/Sophia/crates/sophia-emit/src/sophia_emit https://mathstruct.org/Sophia/crates/sophia-emit/src/sophia_emit Thu, 01 Oct 2026 17:19:49 GMT egraph https://mathstruct.org/Sophia/crates/sophia-equiv/src/egraph https://mathstruct.org/Sophia/crates/sophia-equiv/src/egraph Thu, 01 Oct 2026 17:19:49 GMT sophia_equiv https://mathstruct.org/Sophia/crates/sophia-equiv/src/sophia_equiv https://mathstruct.org/Sophia/crates/sophia-equiv/src/sophia_equiv Thu, 01 Oct 2026 17:19:49 GMT witness https://mathstruct.org/Sophia/crates/sophia-equiv/src/witness https://mathstruct.org/Sophia/crates/sophia-equiv/src/witness Thu, 01 Oct 2026 17:19:49 GMT metamath https://mathstruct.org/Sophia/crates/sophia-frontend-metamath/src/metamath https://mathstruct.org/Sophia/crates/sophia-frontend-metamath/src/metamath Thu, 01 Oct 2026 17:19:49 GMT canonical https://mathstruct.org/Sophia/crates/sophia-hash/src/canonical https://mathstruct.org/Sophia/crates/sophia-hash/src/canonical Thu, 01 Oct 2026 17:19:49 GMT