logos

λόγος

the account of what is

docs entry ↗ repository ↗

Exported documents

docs/architecture/kernel.md

#resolver #certify-gate #kerneloutcome #closedmodelcert

docs/spec/logos-contract.md

#term #derivation #checker-spi #context #theory-spi #leaf-spi

docs/architecture/decisions/README.md