Sophia
Search
Search
Dark mode
Light mode
Explorer
Tag: implementation
22 items with this tag.
Oct 01, 2026
main
implementation
Oct 01, 2026
effects
implementation
Oct 01, 2026
elaborate
implementation
Oct 01, 2026
sophia_core
implementation
Oct 01, 2026
sophia_emit
implementation
Oct 01, 2026
egraph
implementation
Oct 01, 2026
sophia_equiv
implementation
Oct 01, 2026
witness
implementation
Oct 01, 2026
metamath
implementation
Oct 01, 2026
canonical
implementation
Oct 01, 2026
merkle
implementation
Oct 01, 2026
sophia_hash
implementation
Oct 01, 2026
schema
implementation
Oct 01, 2026
sophia_store
implementation
Oct 01, 2026
Annotations
implementation
Oct 01, 2026
CoreIR
implementation
Oct 01, 2026
Frontend
implementation
Oct 01, 2026
Hashing
implementation
Oct 01, 2026
Precompile
implementation
Oct 01, 2026
Sophia
implementation
Oct 01, 2026
Store
implementation
Oct 01, 2026
Code Map
overview
implementation