# `Theoria.Kernel`
[🔗](https://github.com/elixir-vibe/theoria/blob/main/lib/theoria/kernel.ex#L1)

The trusted type-checking kernel.

The kernel is intentionally small: all DSLs, tactics, and automation must
reduce to core terms that are accepted here before a theorem is trusted.

# `result`

```elixir
@type result() :: {:ok, Theoria.Term.t()} | {:error, Theoria.Error.t()}
```

# `add_constant`

# `add_definition`

# `check`

# `check`

# `infer`

# `infer`

---

*Consult [api-reference.md](api-reference.md) for complete listing*