# Theory v0.1.0 - Table of Contents

> An Elixir-oriented certified Core IR for deriving computation code from formal evidence.

## Pages

- [Theory](readme.md)
- [LICENSE](license.md)

## Modules

- [Theory](Theory.md): Public entry point for Theory.